Design and Verification of an ATM Knockout Switch Concentrator
نویسندگان
چکیده
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.
منابع مشابه
Performance of Input-Queued Sparse-Crossbar Packet Concentrators
Packet concentrators are used in shared-memory and knockout switches to select and route packets into individual outputs. Recently, a switch model was introduced to investigate the intrinsic relationship between the switching complexity and traffic characteristics of packet concentrators. Using this model, it was shown that any bipartite packet concentrator with n inputs, m outputs and peak per...
متن کاملDesign and Analysis of a Packet Concentrator
Packet concentrators are used in many highspeed computer communication systems such as fast packet switches. In these systems, the time available for concentration is very short. It is therefore desirable to realize the packet concentrators as hardware chips for fast concentration. The knockout concentrator was proposed for hardware realization. In this paper, we improve this concentrator to re...
متن کاملA DISTRIBUTED MODULAR "ERA-BlT/SEC ATM SWITCH
A simple distributed, modular architecture for a very large scale ATM switch is proposed in this paper. By extending the concept of the original knockout switch, the cell filtering and' contention resolution functions are distributed over many small switch elements, which are arranged in a cross-bar structure. The output ports of a switch fabric are partitioned into a number of groups by a nove...
متن کاملFormal Verification of an ATM Switch Fabric using Multiway Decision Graphs
In this paper we present our results on formally verifying the implementation of an Asynchronous Transfer Mode (ATM) network switching fabric using a new class of decision graphs, called Multiway Decision Graphs (MDG). The design we consider is in use for real applications in the Cambridge Fairisle network. We produced the description of the hardware implementation at different levels of abstra...
متن کاملDesign of An All-Optical WDM Lightpath Concentrator
A design of a nonblocking, all-optical lightpath concentrator using WOC and WDM crossbar switches is presented. The proposed concentrator is highly scalable, cost-efficient, and can switch signals in both space and wavelength domains without requiring a separate wavelength conversion stage.
متن کامل