Hybrid techniques for fast functional simulation

11Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.

Abstract

We implement and experiment with techniques for the functional simulation of very large digital systems. We consider techniques that are a hybrid of classical compiled code simulation and recent branching program based simulation in order to resolve memory performance problems inherent to BDD based cycle simulation. Specifically, predefined functional units ("macros") are extracted from the circuit and evaluated directly instead of building BDDs for them. The functionality of those macros, such as multipliers, filters, etc., can in turn be verified by simulation of their gate-level implementations respectively or by formal verification techniques. Our results demonstrate that this approach leads to considerably faster simulation.

Cite

CITATION STYLE

APA

Luo, Y., Wongsonegoro, T., & Aziz, A. (1998). Hybrid techniques for fast functional simulation. In Proceedings - Design Automation Conference (pp. 664–667). Institute of Electrical and Electronics Engineers Inc. https://doi.org/10.1145/277044.277213

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free