High-level system modeling: specification languages
Auteur :
Berge, Jean-Michel
ISBN :
9780792396321
Date de publication :
30 sept. 1995
Dimensions :
23,5 x 15,5 x 1,3 cm
Poids :
444 g
Langue :
Anglais
Pays d'origine :
USA
Describing recent progress in specification formalisms in electronic design, this work provides an overview of object-oriented methodologies. It goes on to highlight several formalisms such as VSPEC, ESTELLE, SDL and LOTOS with methods that map their semantics to simulatable/synthesizable VHDL.