• DocumentCode
    3142581
  • 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
  • fYear
    1981
  • fDate
    29-1 June 1981
  • Firstpage
    791
  • Lastpage
    795
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation, 1981. 18th Conference on
  • Type

    conf

  • DOI
    10.1109/DAC.1981.1585447
  • Filename
    1585447