Mixed level extraction and verification

Article View: comp.lsi.cad

Article #618

#618

From: Jack V. Briner, Jr.
Date: Tue, 30 Apr 1991 12:01

11 lines
1083 bytes

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.

Technical Details

Message-ID: <673012917@helios.cs.duke.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!spool.mu.edu!mips!swrinde!elroy.jpl.nasa.gov!decwrl!mcnc!duke!jvb

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!spool.mu.edu!mips!swrinde!elroy.jpl.nasa.gov!decwrl!mcnc!duke!jvb
From: jvb@duke.cs.duke.edu (Jack V. Briner, Jr.)
Newsgroups: comp.lsi.cad
Subject: Mixed level extraction and verification
Message-ID: <673012917@helios.cs.duke.edu>
Date: 30 Apr 91 12:01:58 GMT
Organization: Duke University Computer Science Dept.; Durham, N.C.
Lines: 11