Formal methods in computer-aided design: second international conference, fmcad '98, palo alto, ca, usa, november 4-6, 1998, proceedings
Auteur :
Gopalakrishnan, Ganesh C.
ISBN :
9783540651918
Date de publication :
21 oct. 1998
Dimensions :
23,4 x 15,6 x 2,8 cm
Poids :
760 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Taken from a conference on formal methods in computer-aided design, the papers in this volume present the state-of-the-art in formal verification methods for digital circuits and systems, including processors, custom VLSI circuits, microcode, and reactive software.