| Getting
Started | Explains what HDL Verifier is, the steps for installing
and setting up the product, how you might apply the product to the
hardware design process, and how to gain access to product documentation
and online help. Directs you to product demos and tutorials. |
| HDL Verification with Cosimulation | Explains what you need to know to cosimulate with MATLAB or Simulink,
using either as a component or a test bench, and your HDL simulator. |
| SystemC TLM 2.0 Generation | Provides instructions for creating a SystemC Transaction Level
Model (TLM), which you can execute in any OSCI-compatible TLM 2.0
environment, including a commercial virtual platform. |
| FPGA-in-the-Loop and FPGA Automation | Provides instruction for creating, updating, and managing ISE
projects using HDL generated from HDL Coder or Filter Design HDL Coder software. |
| Block Reference | Provides descriptions and examples of the blocks available
for use in Simulink. |
| Function Reference | Provides descriptions and examples of the functions available
for use with HDL Verifier software. |
| Demos and Tutorials | Provides examples of how you would use HDL Verifier software. |