Synthesis-Directed High-Level Simulation
Synthesis-Directed High-Level Simulation
m Addresses question "Is what I asked for what I want?"
m Consistent with behavioral model as well as logic level.
m Use synthesis as "smart compiler" for simulation.
Ô Multi-level logic optimization for "microvector" tuning, etc.Ô Symbolic encoding of abstract types for optimal simulation speed.Ô Makes extensive use of "don't care" information to improve performance and quality of results.
m Target both sequential computers and massively-parallel machines (CM & Maspar).
m Core technology for other research