1093 search results - page 151 / 219 » Verifying VLSI Circuits |
111
Voted
TCAD
2002
15 years 2 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...
114
Voted
ISPD
1998
ACM
15 years 7 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...
101
Voted
WCE
2007
15 years 3 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 ...
124
Voted
CORR
2008
Springer
15 years 2 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...
104
Voted
ENGL
2008
15 years 2 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...