1093 search results - page 105 / 219 » Verifying VLSI Circuits |
ARVLSI
1997
IEEE
14 years 2 months ago
1997
IEEE
The growing gap between on-chip gates and off-chip I/O bandwidth argues for ever larger amounts of on-chip memory. Emerging portable consumer technology, such as digital cameras, ...
VLSID
1997
IEEE
14 years 2 months ago
1997
IEEE
—Logical initializability is the property of a gate-level circuit whereby it can be driven to a unique start state when simulated by a three-valued (0, 1, ) simulator. In practic...
GLVLSI
2009
IEEE
13 years 7 months ago
2009
IEEE
Distributing power and ground to a vertically integrated system is a complex and difficult task. Interplane communication and power delivery are achieved by through silicon vias (...
ISCAS
2008
IEEE
14 years 4 months ago
2008
IEEE
—A new 2xVDD-tolerant crystal oscillator circuit realized with 1xVDD CMOS devices without suffering gateoxide reliability issue is proposed, which is one of the key mixedvoltage ...
ASIACRYPT
2010
Springer
13 years 8 months ago
2010
Springer
We show that probabilistically checkable proofs can be used to shorten non-interactive zero-knowledge proofs. We obtain publicly verifiable non-interactive zero-knowledge proofs fo...