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
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;
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
DOI :
10.1109/FTDCS.2001.969641
