Sciweavers

4 search results - page 1 / 1
» Cycle-Based Symbolic Simulation of Gate-Level Synchronous Ci...
Sort
View
DAC
1999
ACM
15 years 1 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»
15 years 1 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»
15 years 1 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
15 years 3 months 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