Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

GLVLSI
1998
IEEE

favoriteEmaildiscussreport

104views VLSI» more GLVLSI 1998»

HOOVER: Hardware Object-Oriented Verification

13 years 8 months ago

HOOVER: Hardware Object-Oriented Verification

Download www.cs.york.ac.uk

Mostafa M. Aref, Khaled M. Elleithy

Real-time Traffic

GLVLSI 1998 | VLSI |

claim paper

Related Content

» A Framework for Object Oriented Hardware Specification Verification and Synthesis

» Integrating Verification and Testing of ObjectOriented Software

Post Info
More Details (n/a)

Added	04 Aug 2010
Updated	04 Aug 2010
Type	Conference
Year	1998
Where	GLVLSI
Authors	Mostafa M. Aref, Khaled M. Elleithy

Comments (0)