Advanced techniques for embedded systems design and test
Auteur :
Lopez, Juan Carlos
Éditeur :
Hermida, Roman,Geisselhardt, Walter,
ISBN :
9780792381280
Date de publication :
15 févr. 1998
Dimensions :
23,4 x 15,6 x 1,9 cm
Poids :
609 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
Presents developments in methodologies and tools for the specification, synthesis, verification, and test of embedded systems, characterized by the use of high-level languages as a road to productivity. This work looks at each specific part of the design process, from specification through to test with an emphasis on behavioral methodologies.