570 search results - page 93 / 114 » The behavior of resistive circuits |
ACSD
1998
IEEE
14 years 27 days ago
1998
IEEE
This paper makes the idea of memory shadowing [5] applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's pipeline verification method [...
GLVLSI
1997
IEEE
14 years 25 days ago
1997
IEEE
In a VHDL-based design flow for applicationspecific integrated circuits, VITAL provides a uniform methodology for developing ASIC libraries for signoff simulation. The VITAL Sta...
DAC
1997
ACM
14 years 25 days ago
1997
ACM
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). T...
DAC
1997
ACM
14 years 25 days ago
1997
ACM
- This paper presents an effective technique for compacting a large sequence of input vectors into a much smaller one such that when the two sequences are applied to any circuit, t...
INFOCOM
1993
IEEE
14 years 23 days ago
1993
IEEE
Here we present the results of a study to determine the effects of link failures on network performance. The network studied is a virtual circuit based packet switched wide area n...