Sciweavers

4 search results - page 1 / 1
» Cycle-Based Symbolic Simulation of Gate-Level Synchronous Ci...
Sort
View
DAC
1999
ACM
13 years 11 months ago
Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits
Valeria Bertacco, Maurizio Damiani, Stefano Quer
ICCAD
1991
IEEE
100views Hardware» more  ICCAD 1991»
13 years 11 months ago
Extraction of Gate Level Models from Transistor Circuits by Four-Valued Symbolic Analysis
The program TRANALYZE generates a gate-level representation of an MOS transistor circuit. The resulting model contains only four-valued unit and zero delay logic primitives, suita...
Randal E. Bryant
CAV
1990
Springer
114views Hardware» more  CAV 1990»
13 years 11 months ago
Formal Verification of Digital Circuits Using Symbolic Ternary System Models
Ternary system modeling involves extending the traditional set of binary values
Randal E. Bryant, Carl-Johan H. Seger
KES
2005
Springer
14 years 27 days ago
Recognizing and Simulating Sketched Logic Circuits
This paper presents a system for recognizing sketched logic circuits in real-time and graphically simulating them afterwords. It has been developed for use in university and school...
Marcus Liwicki, Lars Knipping