1093 search results - page 151 / 219 » Verifying VLSI Circuits |
TCAD
2002
13 years 8 months ago
2002
As very large scale integration (VLSI) circuit speed rapidly increases, the inductive effects of interconnect lines strongly impact the signal integrity of a circuit. Since these i...
ISPD
1998
ACM
14 years 1 months ago
1998
ACM
In this paper we present an input pattern independent method to compute the maximum current envelope, which is an upper bound over all possible current waveforms drawn by a circui...
WCE
2007
13 years 10 months ago
2007
— The strength of Micro Systems Technology (MST) is the ability to fabricate a large number of small devices economically. However such devices tend to have errors caused by the ...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
ENGL
2008
13 years 9 months ago
2008
The strength of Micro Systems Technology (MST) is the ability to fabricate a large number of small devices economically. However such devices tend to have errors caused by the vari...