DocumentCode
1974845
Title
Voice over IP: Correct hardware/software co-design
Author
Zedan, H. ; Cau, A.
Author_Institution
Lab. of Software Technol. Res., De Montfort Univ., Leicester, UK
fYear
2001
fDate
2001
Firstpage
194
Lastpage
200
Abstract
We describe an integrated and compositional technique, together with its supporting toolset, for hardware/software co-design. The co-design process is soundly based upon formal techniques, but includes integrated support for simulation. A unique characteristic of our framework is that it can validate and analyse system´s behaviours of interest compositionally and within a single logical formalism, namely Interval Temporal Logic (ITL) and its executable subset, (Ana)Tempura. The paper presents voice over IP as an application to our framework
Keywords
formal verification; hardware description languages; hardware-software codesign; refinement calculus; temporal logic; Interval Temporal Logic; compositional technique; formal techniques; hardware-software co-design; integrated support; logical formalism; Circuits; Councils; Hardware; Internet telephony; Laboratories; Logic; Process design; Software tools; Standards development; XML;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems, 2001. FTDCS 2001. Proceedings. The Eighth IEEE Workshop on Future Trends of
Conference_Location
Bologna
Print_ISBN
0-7695-1384-0
Type
conf
DOI
10.1109/FTDCS.2001.969641
Filename
969641
Link To Document