Summary: Hybrid Techniques for Fast Functional Simulation
Yufeng Luo Tjahjadi Wongsonegoro Adnan Aziz
Synopsys, Inc. Electrical and Computer Engineering
700 E Middlefield Rd University of Texas­Austin
Mountain View, CA Austin, TX
luo@synopsys.com ftjahjadi, adnang@ece.utexas.edu
Abstract
We implement and experiment with techniques for the func­
tional simulation of very large digital systems. We consider
techniques that are a hybrid of classical compiled code sim­
ulation and recent branching program based simulation in
order to resolve memory performance problems inherent to
BDD based cycle simulation. Specifically, predefined func­
tional units (``macros'') are evaluated directly. The function­
ality of those macros, such as multipliers, filters, etc., can in
turn be verified by simulation of their gate­level implementa­
tions respectively or by formal verification techniques. Our
results demonstrate that this approach leads to considerably
faster simulation.
Keywords: Simulation, BDD, Verification, Behavioral Sim­

Source: Aziz, Adnan - Department of Electrical and Computer Engineering, University of Texas at Austin

Collections: Computer Technologies and Information Sciences