Title :
Design and verification of an ATM Knockout switch concentrator
Author :
Lu, Jianping ; Tahar, Sofiène
Author_Institution :
Dept. of Electr. & Comput. Eng., Concordia Univ., Montreal, Que., Canada
Abstract :
In this paper we describe the design and verification of the concentrator of a Knockout ATM (Asynchronous Transfer Mode) switch fabric using the VIS tool. The Knockout is a popular ATM switch fabric which has application in both datagram and virtual circuit packet networks. The concentrator is the most difficult component in the Knockout ATM switch fabric. We developed an RTL structural design as well as a higher-level behavioral model of the Knockout switch concentrator in Verilog HDL. We then used equivalence checking within VIS to verify the concentrator structure against its behavioral model. While sequential equivalence checking failed, we succeeded the combinational equivalence checking of a latch-reduced model of the concentrator.
Keywords :
asynchronous transfer mode; formal verification; hardware description languages; line concentrators; logic design; telecommunication computing; ATM Knockout switch concentrator; ATM switch fabric; RTL structural design; VIS tool; Verilog HDL; combinational equivalence checking; concentrator structure; design; equivalence checking; higher-level behavioral model; latch-reduced model; verification; virtual circuit packet networks; Application software; Asynchronous transfer mode; Design engineering; Electronic design automation and methodology; Fabrics; Hardware design languages; Latches; Switches; Switching circuits; Testing;
Conference_Titel :
Microelectronics, 2001. ICM 2001 Proceedings. The 13th International Conference on
Print_ISBN :
0-7803-7522-X
DOI :
10.1109/ICM.2001.997660
