Programming aspects of VLSI: (preliminary version)
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An improved switch-level simulator for MOS circuits
DAC '83 Proceedings of the 20th Design Automation Conference
DAC '83 Proceedings of the 20th Design Automation Conference
Functional models for VLSI design
DAC '83 Proceedings of the 20th Design Automation Conference
Functional simulation shortens the development cycle of a new computer
DAC '83 Proceedings of the 20th Design Automation Conference
DAC '83 Proceedings of the 20th Design Automation Conference
DAC '84 Proceedings of the 21st Design Automation Conference
Block description language (BDL): A structural description language
DAC '84 Proceedings of the 21st Design Automation Conference
Towards a standard hardware description language
DAC '84 Proceedings of the 21st Design Automation Conference
Functional design verification by multi-level simulation
DAC '84 Proceedings of the 21st Design Automation Conference
The VHSIC hardware description language (VHDL) program
DAC '84 Proceedings of the 21st Design Automation Conference
Symbolic simulation for functional verification with ADLIB and SDL
DAC '81 Proceedings of the 18th Design Automation Conference
A MOS/LSI oriented logic simulator
DAC '81 Proceedings of the 18th Design Automation Conference
MIXS: A mixed level simulator for large digital system logic verification
DAC '80 Proceedings of the 17th Design Automation Conference
TEGAS2—anatomy of a general purpose TEST GENERATION AND SIMULATION system for digital logic
DAC '72 Proceedings of the 9th Design Automation Workshop
The graph model of behavior simulator
Proceedings of the Symposium on Design Automation and Microprocessors
Interactive design language: A unified approach to hardware simulation, synthesis and documentation
DAC '82 Proceedings of the 19th Design Automation Conference
The conlan project: Status and future plans
DAC '82 Proceedings of the 19th Design Automation Conference
Using Structural and Functional Information in Diagnostic Design
Using Structural and Functional Information in Diagnostic Design
INSIST: Interactive Simulation in Smalltalk
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
An object-oriented VHDL design environment
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Advances in functional abstraction from structure
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
A workstation-mixed model circuit simulator
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Precedent-based manipulation of VLSI structures
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Design Verification of the WE 32106 Math Accelerator Unit
IEEE Design & Test
A multiple representation approach to understanding the time behavior of digital circuits
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
A multiple representation approach to understanding the time behavior of digital circuits
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
A LISP-based functional simulation system supporting a general concept of function and abstraction is described. SIMMER was developed primarily to support research into the relation of structure to function and associated description languages, and also to provide assistance to the designer analyzing especially difficult circuits. It consists of a general object-oriented message-passing functional simulator; a user-extensible intermediate-level base language for describing complex systems; and a supporting integrated database (not described). We introduce the versional module, a generalized notion of state, and busses as active functional objects. Message-passing LISP objects are used to represent physical and abstract entities.