Title :
H/W-S/W co-verification in ATM
Author :
Mancini, Giovanni
Author_Institution :
Bell-Northern Res., Ottawa, Ont., Canada
Abstract :
This paper presents a verification strategy for the hardware-software interface of a large ATM switch. The complexity of such a system and the requirements are discussed. A modeling strategy based on software emulation is presented which will allow for the functional verification of the interface prior to lab samples being available, resulting in reduced system integration times
Keywords :
asynchronous transfer mode; electronic switching systems; formal verification; switching networks; telecommunications computing; ATM; H/W-S/W co-verification; hardware-software interface; modeling strategy; software emulation; switching network; switching systems; system integration; telecommunications switching; verification strategy; Asynchronous transfer mode; Control systems; Embedded software; Hardware; Microprocessors; Software systems; Spine; Switches; Switching systems; Telecommunication switching;
Conference_Titel :
High-Level Synthesis, 1994., Proceedings of the Seventh International Symposium on
Conference_Location :
Niagara-on-the-Lake, Ont.
Print_ISBN :
0-8186-5785-5
DOI :
10.1109/ISHLS.1994.302350
