Exclusive simulation of activity in digital networks
Communications of the ACM
The concurrent simulation of nearly identical digital networks
DAC '73 Proceedings of the 10th Design Automation Workshop
Integrated techniques for functional and gate-level digital logic simulation
DAC '73 Proceedings of the 10th Design Automation Workshop
Functional simulation in the lamp system
DAC '76 Proceedings of the 13th Design Automation Conference
An implementation of computer aided test generation techniques
DAC '76 Proceedings of the 13th Design Automation Conference
SABLE: A tool for generating structured, multi-level simulations
25 years of DAC Papers on Twenty-five years of electronic design automation
The performance of the concurrent fault simulation algorithms in MOZART
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
A design verification methodology based on concurrent simulation and clock suppression
DAC '83 Proceedings of the 20th Design Automation Conference
DAC '84 Proceedings of the 21st Design Automation Conference
GSP: A logic simulator for LSI
DAC '81 Proceedings of the 18th Design Automation Conference
Application of hardware description languages to microprogramming: Method, practice, and limitations
MICRO 12 Proceedings of the 12th annual workshop on Microprogramming
Multi-sim, a dynamic multi-level simulator
DAC '78 Proceedings of the 15th Design Automation Conference
A module level simulation technique for systems composed of LSI's and MSI's
DAC '78 Proceedings of the 15th Design Automation Conference
LSI components modelling in a three-valued functional simulation
DAC '78 Proceedings of the 15th Design Automation Conference
An accurate functional level concurrent fault simulator
DAC '80 Proceedings of the 17th Design Automation Conference
High-speed concurrent fault simulation with vectors and scalars
DAC '80 Proceedings of the 17th Design Automation Conference
The incorporation of functional level element routines into an existing digital simulation system
DAC '80 Proceedings of the 17th Design Automation Conference
Functional level simulation at Raytheon
DAC '80 Proceedings of the 17th Design Automation Conference
Computer-aided design of electrical circuits Simulation techniques (A Tutorial)
ACM '81 Proceedings of the ACM '81 conference
Behavioral-level test development
DAC '79 Proceedings of the 16th Design Automation Conference
Digital logic simulation at the gate and functional level
DAC '79 Proceedings of the 16th Design Automation Conference
SABLE: A tool for generating structured, multi-level simulations
DAC '79 Proceedings of the 16th Design Automation Conference
Hierarchical modeling and simulation in VISTA
DAC '79 Proceedings of the 16th Design Automation Conference
Functional Level Primitives in Test Generation
IEEE Transactions on Computers
IEEE Transactions on Computers
| Hi-index | 0.01 |
In this paper we discuss some of the major issues dealing with the design of a functional level concurrent fault simulator for digital net works. In the area of functional level modeling we discuss the following items: motivation; algorithms for primitives; state events; u-events; timing considerations including inertial delays; and finally the relationship between faults and functional models. For concurrent faults simulation we first discuss the various advantages of this technique, including its compatiability with function level modeling. We then present the major attributes of an abstract data structure required for this system, and then the concurrent simulation mechanism is described. Finally we discuss the problem of switching between functional and gate level models for a module.