Previous Section Next Section

B.3 Verification Resources

This section lists available verification resources on the World Wide Web. Although most of these websites do not directly discuss the e language, it is important for a verification engineer to be familiar with different verification methodologies to choose the technique that is most suitable for a specific verification problem.

B.3.1 General HDL Websites

B.3.2 Architectural Modeling Tools

B.3.3 Simulation Tools

B.3.4 Hardware Acceleration Tools

Information on hardware acceleration tools is available at the following websites:

B.3.5 In-circuit Emulation Tools

Information on in-circuit emulation tools is available at the following websites:

B.3.6 Coverage Tools

Information on coverage tools is available at the following websites:

B.3.7 Assertion Checking Tools

Information on assertion checking tools is available at the following websites:

B.3.8 Equivalence Checking Tools

Information on equivalence checking tools is available at the following websites:

B.3.9 Formal Verification Tools

Information on formal verification tools is available at the following websites:

Previous Section Next Section