Introduction to formal hardware verification - Kropf, Thomas, 1961- (Berlin ; New York : Springer, 1999)
With 137 Figures and 32 Tables
Περιέχει βιβλιογραφία και ευρετήριο
Keywords: Integrated circuits -- Very large scale integration -- Computer-aided design; Integrated circuits -- Verification