Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.
There are two methods used for verifying a design against a standard.
1. Formal verification or equivalence testing uses a tool, such as Synopsys Formality, to test the design in one form such as the RTL description which is known to be functionally valid against a second form such as the gate description to ensure fidelity. The comparison is made by testing for logical equivalency.
2. Dynamic verification tests the design function by comparing its behavior with the specification using simulation.
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.