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.
Dynamic Simulation
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...
Thanks rjainv.
I find the PLI interface very cumbersome and inefficient - I've started researching some of the more recent tools and hope to find something easier to integrate.
We will need to prepare processor code in C, compile and simulate the execution to verify the function.
I have a need to update a legacy verilog verification environment. The ASIC is entirely in verilog, but will be integrating a processor and this will require the inclusion of a C/C++ interface. There are a number of tools in use and I am in the early stages of evaluating what approach to take...
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.