Cited By
View all- Lim W(1982)HISDL—a structure description languageCommunications of the ACM10.1145/358690.35870925:11(823-830)Online publication date: 1-Nov-1982
Functional modelling for logic simulation
Abstract
As digital integrated circuits become more complex, Computer Aided Design (CAD) must support more hierarchical design methods. Top-down design is supported in logic simulators by the inclusion of functional models. The SAndia LOGic Simulator (SALOGS) has functional modelling capability but until now only as FORTRAN subroutines. The new Structural Interface to the SALOGS Language (SISL) allows the design engineer access to the functional modelling capabilities without requiring the associated programming skills. The SISL syntax is described and a sample functional model library is presented.
References
[1]
Preas, B. T. and Gwyn, C. W., "Architecture for Contemporary Computer Aids to Generate IC Mask Layouts," Conf. Record 11th Asilomar, Conf. on Circuits, Systems and Computers, pp 353-361 (November 1977).
[2]
Preas, B. T. and Gwyn, C. W., "Methods for Hierarchical Automatic Layout of Custom LSI Circuit Masks," Proc. 15th Design Automation Conf., pp 206-212 (June 1978).
[3]
Raeth, P. G., A Functional Level Preprocessor for Computer-Aided Digital Design, Unpublished thesis, Air Force Institute of Technology (December 1980).
[4]
Acken, J. M., Stauffer, J. D., "Part 1: Logic Circuit Simulation," IEEE Circuits and Systems Magazine, Vol. No. 1, pp 9-13 (March 1979).
[5]
Barbacci, M., Barnes, G., Cattell, R., Siewiorek, D., "The Symbolic Manipulation of Computer Descriptions: The ISPS Computer Description Language," Department of Computer Science, Carnegie-Mellon University, Pittsburgh, Pa. (March 1978).
[6]
Parker, A., Thomas, D., Siewiorek, D., Barbacci, M., Hafer, L., Leive, G., Kim, J., "The CMU Design Automation System: An Example of Automated Path Design," Proc. 16th Design Automation Conference, pp 73-79 (June 1979).
[7]
vanCleemput, W. M., "An Hierarchical Language for the Structural Description of Digital Systems," Proc. 14th Design Automation Conference, pp 377-385 (June 1977).
[8]
Acken, J. M., Goldstein, L. H., "Delay Modelling in Logic Simulation," Proc. of IEEE International Conf. on Circuits and Computers, pp 944-947 (October 1980).
Index Terms
- Functional modelling for logic simulation
Recommendations
Digital logic simulation at the gate and functional level
DAC '79: Proceedings of the 16th Design Automation ConferenceSimulation, in several forms, is used extensively in present day circuit design. The various forms of simulation can be categorized in terms of level of detail offered, ranging from circuit level (transistors, capacitors, etc.) to timing level (e.g., ...
Integrated techniques for functional and gate-level digital logic simulation
DAC '73: Proceedings of the 10th Design Automation WorkshopDigital simulation is defined as the process of exercising a realistic software model of a digital system, with sets of input stimuli, to generate signal behavior versus time. Simulation processes can be categorized by their simulation atom. Gate-level ...
Sequential logic minimization based on functional testability
EDTC '95: Proceedings of the 1995 European conference on Design and TestThis paper presents a methodology for sequential logic minimization based on a functional testing approach. A new class of sequentially redundant faults, called functionally redundant, is defined. Such faults are determined by analyzing the functional ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
June 1981
899 pages
Sponsors
- SIGDA: ACM Special Interest Group on Design Automation
- IEEE-CS\DATC: IEEE Computer Society
Publisher
IEEE Press
Publication History
Published: 29 June 1981
Check for updates
Qualifiers
- Article
Acceptance Rates
Overall Acceptance Rate 1,770 of 5,499 submissions, 32%
Upcoming Conference
DAC '25
- Sponsor:
- sigda
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 167Total Downloads
- Downloads (Last 12 months)20
- Downloads (Last 6 weeks)4
Reflects downloads up to 14 Jan 2025
Other Metrics
Citations
Cited By
View all- Lim W(1982)HISDL—a structure description languageCommunications of the ACM10.1145/358690.35870925:11(823-830)Online publication date: 1-Nov-1982
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in