Title :
Functional Modelling for Logic Simulation
Author :
Raeth, Reter G. ; Lamont, Gary B. ; Borky, John M. ; Acken, John M.
Author_Institution :
Air Force Institute of Technology Wright-Patterson Air Force Base, Dayton, OH
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.
Keywords :
Algorithms; Circuit simulation; Computational modeling; Design automation; Design engineering; Design methodology; Digital integrated circuits; Functional programming; Logic design; Logic programming;
Conference_Titel :
Design Automation, 1981. 18th Conference on
DOI :
10.1109/DAC.1981.1585447