Sciweavers

1093 search results - page 33 / 219

» Verifying VLSI Circuits

13

DATE
2006
IEEE

73views Hardware» more DATE 2006»

Verifying analog oscillator circuits using forward/backward abstraction refinement

14 years 2 months ago

Verifying analog oscillator circuits using forward/backward abstraction refinement

Download www.date-conference.com

Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar

claim paper

Read More »

17

ICCAD
1996
IEEE

93views Hardware» more ICCAD 1996»

ACV: an arithmetic circuit verifier

14 years 27 days ago

ACV: an arithmetic circuit verifier

Download www.cs.cmu.edu

Yirng-An Chen, Randal E. Bryant

claim paper

Read More »

25

CAV
1991
Springer

90views Hardware» more CAV 1991»

Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits

14 years 8 days ago

Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits

Download www.cs.utexas.edu

David M. Goldschlag

claim paper

Read More »

65

Publication

576views

Within-die Process Variations: How Accurately can They Be Statistically Modeled?

15 years 8 months ago

Within-die Process Variations: How Accurately can They Be Statistically Modeled?

Download scale.engin.brown.edu

Within-die process variations arise during integrated circuit (IC) fabrication in the sub-100nm regime. These variations are of paramount concern as they deviate the performance of...

Brendan Hargreaves, Henrik Hult, Sherief Reda

posted by sreda

Read More »

17

VLSID
2004
IEEE

75views VLSI» more VLSID 2004»

Quantitative Model for Thermal Behaviour of an Analog Integrated Circuit

14 years 9 months ago

Quantitative Model for Thermal Behaviour of an Analog Integrated Circuit

Download www.columbia.edu

Gagandeep S. Sandha, Pawan K. Singh, C. Pradeep Ku...

claim paper

Read More »

« Prev « First page 33 / 219 Last » Next »