[[abstract]]High operation frequency and strict timing behavior are characteristics of modern high performance integrated circuits, which require a digital system simulator to accurately simulate not only the logic function but also the timing behavior of a circuit. This paper presents some experimental results by SPICE to validate the analytical approach of Boolean process, and extract some data for a numerical waveform simulation. The paper also presents a waveform simulator and its results of experiments, which is very different from traditional logic simulator.[[fileno]]2030108030014[[department]]電機工程學
Abstract: "A logic simulator can prove the correctness of a digital circuit if it can be shown that ...
A new approach to MOS circuit fast timing simulation is shown in this thesis. A generic MOS circuit ...
A timing simulator, called TIMSIM, has been developed which performs gate level simulation of simple...
[[abstract]]Boolean process theory, which was proposed in 1994 by Yinghua Min, one of authors of thi...
This paper describes an algorithm for the simulation of gate-level logic. Multiple logic levels are ...
Detecting the presence of timing problems in digital circuits is a difficult matter, but one that c...
AbstractIn this paper, the practical behavior of circuit simulator users are considered and utilized...
Abstract: Electrical circuit simulation was one of the first CAD tools developed for IC design. The ...
The design and verification of a electronic circuit requires much expertise and intelligent tools an...
Simulation plays the most important role for the verification of digital circuits. Designers demand ...
Although the technology used to implement a digital system has fundamentally changed, but the basic ...
The use of formal methods to verify the correctness of digital circuits is less constrained by the g...
The program MOSSYM simulates the behavior of a MOS circuit represented as a switch-level network sym...
Abstract-Ravel-XL is a single-board hardware accelerator for gate-level digital logic simulation. It...
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a r...
Abstract: "A logic simulator can prove the correctness of a digital circuit if it can be shown that ...
A new approach to MOS circuit fast timing simulation is shown in this thesis. A generic MOS circuit ...
A timing simulator, called TIMSIM, has been developed which performs gate level simulation of simple...
[[abstract]]Boolean process theory, which was proposed in 1994 by Yinghua Min, one of authors of thi...
This paper describes an algorithm for the simulation of gate-level logic. Multiple logic levels are ...
Detecting the presence of timing problems in digital circuits is a difficult matter, but one that c...
AbstractIn this paper, the practical behavior of circuit simulator users are considered and utilized...
Abstract: Electrical circuit simulation was one of the first CAD tools developed for IC design. The ...
The design and verification of a electronic circuit requires much expertise and intelligent tools an...
Simulation plays the most important role for the verification of digital circuits. Designers demand ...
Although the technology used to implement a digital system has fundamentally changed, but the basic ...
The use of formal methods to verify the correctness of digital circuits is less constrained by the g...
The program MOSSYM simulates the behavior of a MOS circuit represented as a switch-level network sym...
Abstract-Ravel-XL is a single-board hardware accelerator for gate-level digital logic simulation. It...
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a r...
Abstract: "A logic simulator can prove the correctness of a digital circuit if it can be shown that ...
A new approach to MOS circuit fast timing simulation is shown in this thesis. A generic MOS circuit ...
A timing simulator, called TIMSIM, has been developed which performs gate level simulation of simple...