[comp.lsi.cad] Mixed level extraction and verification

jvb@duke.cs.duke.edu (Jack V. Briner, Jr.) (04/30/91)

As part of the OASIS system (silicon compilation system) released by MCNC, 
the simulator, LDVSIM, comes with extraction and verification tools.  One 
of the simulation/verification tools is EXACTLY which is a collection of diff 
files for ext2sim for hierarchical extraction.    The output is useful for
mixed level simulation (LDVSIM) or running against netlist using GEMINI.

Information on OASIS can be obtained from:  jeri@mcnc.org.

OASIS includes a hardware description language, logic synthesis, placement
and routing, fault simulation, logic/transistor simulation, extraction
and verification tools.