Digital system simulation: Current status and future trends or Darwin's theory of simulation

Proceedings - Design Automation Conference

Volumn , Issue , 1981, Pages 269-275

  Breuer, Melvin A ^a   Parker, Alice C ^a  

^a UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PHILOSOPHICAL ASPECTS;

CURRENT STATUS; DARWIN'S THEORY; DESIGN VERIFICATION; DIGITAL SYSTEM; FAULT SIMULATION; FUTURE TRENDS; RESEARCH ISSUES;

COMPUTER AIDED DESIGN; COMPUTER SYSTEMS, DIGITAL;

EID: 85058839626     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/dac.1981.1585362     Document Type: Conference Paper

References (10)

1. M. Abramovici and M. A. Breuer, "Fault diagnosis based on effect-cause analysis: an introduction, " Proc. 17th Design Automation Conference, June 1980, pp. 69-76.
2. R. Barlo and S. A. Szygenda, "A computer architecture for digital logic simulation, " Electronic Engineering, September 1980, p. 34.
3. M. A. Breuer and K. Shamsa, "A hardware router, " J. Digital Systems, 1981 (to be published).
4. R. C. Chen and J. E. Coffman, "Multi-sim.a dynamic multi-level simulator, " Proc. 15th Design Automation Conf., June 1978, pp. 386-391.
5. C. Darwin, Origin of the Species, 1859.
6. W. Johnson, J. Crowley, M. Steger and E. Woolsey, "Mixed-level simulation from a hierarchical language, " J. Digital Systems 4, Fall 1980, pp. 305-336.
7. th Design Automation Conf.,. June 1578, pp. 95-101.
8. J. D. Lesser and J. J. Shedletsky, "An experimental delay test generator for LSI logic, " IEEE Trans, on Computers C-29, March 1980, pp. 235-248.
9. J. Oakley, "The automatic generation of diagnostics from ISP, " Thesis Proposal, Carnegie-Mellon University, 1977.
10. W. Sherwood, "Hybrid scheduling technique for hierarchical logic simulators, " Proc. 16th Design Automation Conf., June 1979, pp. 249-254.