|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||
|
|
Increasing Importance of HDL Verification
When Xilinx users first started creating FPGA designs based on schematics, the only verification technology available was based on a gate-level netlist simulator. The time and effort required to create tool-specific simulation test vectors and relatively small gate count of designs was defeating the necessity of using a simulator in the design flow. It was easier to program the device and test it in hardware than to verify it using the simulator. Today, with the FPGA capacity of 1M gates, simulators can actually save designer's time by detecting the problems early in the design flow. For most large designs it is practically impossible to create a reliable FPGA without using a simulator. This article presents how the new generation of HDL simulators can help you design the largest FPGAs with a minimum amount of time spent on the simulation process. Behavioral RTL Simulation of HDL Code The term "behavioral RTL simulation" is used here to describe simulation of an FPGA design prior to running any synthesis or implementation tools. Behavioral simulation verifies that your HDL code is correct and detects any functional problems. For large designs that take hours to synthesize it will save a lot of time if the FPGA can be functionally tested without running the synthesis after each change. Furthermore, behavioral simulation is typically 10 to 100 times faster than post-synthesis simulation of the same design. Advanced HDL Debugging Simulating HDL in a debug mode allows you to analyze your design source similar to software debuggers.
Creating simulation input can be a tedious process. It is important to know all possible entry methods and use them to save design time.
One very important benefit of using HDL simulation is that the test bench can be described in the same HDL language as the design itself. Aldec also generated a script file that will compile the necessary HDL files and automate the entire verification process. Xilinx Foundation Designs Many Xilinx Foundation users create designs containing schematics. Schematic based designs and mixed schematic/HDL designs can also be simulated in HDL simulators. Foundation software provides a seamless interface to HDL simulation that will export all schematic portions of the design to VHDL and then invoke the VHDL simulator from the Foundation Project Manager. Users who create graphical state machines in Foundation are also able to animate the FSM diagrams during simulation. Also, the Foundation test vectors can be imported to Active-VHDL for easy transition to the HDL simulation environment. Post-synthesis Verification In most cases, the simulation of a design after synthesis should output the same results as the behavioral simulation. The purpose of post-synthesis simulation is to make sure this is the case and that the synthesis tool output produced the netlist which is functionally the same. Synthesis programs may implement your HDL code in a different way than you expected and the post-synthesis simulation will detect that. Synthesis tools like Foundation Express can produce a netlist in VHDL and Verilog formats for HDL verification. The best feature of this process is the ability to use the same simulation input or test bench that was used for behavioral simulation. The post-synthesis simulation results can be compared against original outputs graphically in the waveform window. Timing Verification After a design is implemented by the Xilinx tools, you have an option to export timing simulation data. This will generate HDL simulation netlist and an SDF file containing calculated timing delays. The timing netlist uses SIMPRIMS simulation library based on Vital primitives. Accurate simulation of timing delays allows testing of the design functionality at the target frequency rate, detect any setup/hold violation and timing glitches. Similar to post-synthesis simulation there is no need to develop new simulation test vectors. The same simulation test bench can be used for both behavioral and post-implementation simulation. All this is done in the same design and graphical environment. Timing simulation can be very time consuming. However, with the accelerated Vital primitives used in Active-VHDL software the simulation speed can be 5 to 10 times faster than in the Foundation gate level simulator. Smart Comparison Test Bench One obvious question is how to compare the simulation results between behavioral simulation and post-implementation timing simulation. You can no longer use the graphical comparison because of the delays that cause waveforms to shift. The answer comes in the Smart Comparison based on the recently published IEEE WAVES standard. Among other test bench functions, WAVES provides a very convenient method of comparison of current simulation results with the golden reference previously saved in the vector file. Active-VHDL Test Bench Wizard TM automates this process even further and saves the functional simulation results into standard VEC file and generates the VHDL test bench program using the WAVES library. You only have to specify so called "comparison window" which defines a period of time after each test pattern that is ignored to take account for timing delays. All discrepancies are detected during simulation giving the user detailed messages about signal and time when the simulation results are different. Both expected and actual waveforms are displayed in the same screen. Summary As you could see, the verification tools have come a long way over the last 15 years. If you would like to learn more about the benefits of HDL simulation please visit Aldec's website at http://www.aldec.com/activevhdlIn the near future, you will see even more integration in the HDL design environment with features such as HDL graphical entry, code coverage analysis, and formal verification. This prepares us for the next generation of HDL verification tools. Home | Product of the Week | Tech Note | AppReview | Vendor Tools | Feedback
|
|||||||||||||||||||||||||||||||||
|
Copyright © 2003 ChipCenter-QuestLink About ChipCenter-Questlink |
||||||||||||||||||||||||||||||||||