Sciweavers

23

ICCAD
1994
IEEE

70views Hardware» more ICCAD 1994»

Iterative algorithms for formal verification of embedded real-time systems

14 years 4 months ago

Iterative algorithms for formal verification of embedded real-time systems

Download www.cs.york.ac.uk

Felice Balarin, Alberto L. Sangiovanni-Vincentelli

claim paper

Read More »

25

ICCAD
1994
IEEE

82views Hardware» more ICCAD 1994»

A new efficient approach to statistical delay modeling of CMOS digital combinational circuits

14 years 4 months ago

A new efficient approach to statistical delay modeling of CMOS digital combinational circuits

Download www.cs.york.ac.uk

Syed A. Aftab, M. A. Styblinski

claim paper

Read More »