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

Authors:
Melvin A. Breuer;Alice C. Parker
Affiliations:
-;-
Venue:
DAC '81 Proceedings of the 18th Design Automation Conference
Year:
1981

Citing 4
Cited 2

Multi-sim, a dynamic multi-level simulator

DAC '78 Proceedings of the 15th Design Automation Conference
Fault diagnosis based on effect-cause analysis: An introduction

DAC '80 Proceedings of the 17th Design Automation Conference
Operational features of an MOS timing simulator

DAC '75 Proceedings of the 12th Design Automation Conference
A hybrid scheduling technique for hierarchical logic simulators or “Close Encounters of the Simulated Kind”

DAC '79 Proceedings of the 16th Design Automation Conference

A case against event-driven simulation for digital system design

ANSS '91 Proceedings of the 24th annual symposium on Simulation
THEMIS logic simulator - a mix mode, multi-level, hierarchical, interactive digital circuit simulator

DAC '84 Proceedings of the 21st Design Automation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a philosophical view of the changing field of design verification. The evolution of simulation and fault simulation are briefly summarized. Current research issues in design verification are discussed. The paper concludes with a discussion of the future direction simulation will take, along with other techniques destined to compete with simulation for the design verification task.