AuthorKropf, Thomas
TitleIntroduction to formal hardware verification / Thomas Kropf
Imprint Berlin : Springer, c1999
Descript 299 p

SUBJECT

  1. Integrated circuits -- Very large scale integration -- computer aided design
  2. Integrated circuits -- Verification

LOCATIONCALL#STATUS
Engineering LibraryTK7874.75 K7 CHECK SHELVES