DocumentCode
1940490
Title
H/W-S/W co-verification in ATM
Author
Mancini, Giovanni
Author_Institution
Bell-Northern Res., Ottawa, Ont., Canada
fYear
1994
fDate
18-20 May 1994
Firstpage
1
Lastpage
7
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ISHLS.1994.302350
Filename
302350
Link To Document