Project Title: ATM Knockout Switch Concentrator
In this project we describe the verification and look through the concentrator connected with Knockout ATM (Asynchronous Transfer Mode) switch textile using the VIS item. The Knockout is just a popular ATM switch item which has application in both datagram and circuit that is businesses being digital. The concentrator is essentially the most component that is difficult the Knockout ATM switch textile. We developed an RTL design that is structural well become a style that is higher-level is behavioral aided by the Knockout switch concentrator in Verilog HDL. We then used equivalence checking within VIS to validate the concentrator framework against their behavioral model. While sequential equivalence checking failed, The equivalence was succeeded by us that is combinational pertaining to type that is latch-reduced of concentrator.
* Hardware Description Language (HDL)