• Skip to main content
  • Skip to search
  • Skip to footer
Cadence Home
  • This search text may be transcribed, used, stored, or accessed by our third-party service providers per our Cookie Policy and Privacy Policy.

  1. Blogs
  2. Verification
  3. Tip for Linking AMIQ’s DVT to the Specman Docs
teamspecman
teamspecman

Community Member

Blog Activity
Options
  • Subscribe by email
  • More
  • Cancel
Specman
Tech Pubs
Functional Verification
tech tips
Incisive
AMIQ
Incisive Enterprise Simulator (IES)
IES-XL

Tip for Linking AMIQ’s DVT to the Specman Docs

17 Jun 2009 • 2 minute read

Since posting an introductory article and demo on AMIQ’s “DVT” integrated development environment (IDE), AMIQ has seen a spike in interest in the tool (yeah!)  Given the particular interest being shown by Specmaniacs, AMIQ has forward us the the following tech tip about how you can point to Specman’s HTML docs, AND how you can search through the docs from inside DVT itself.  (Recall that DVT is free to try – go to AMIQ’s site for details.)

If you have stand-alone Specman installed, all you have to do is configure the path to the documentation from the DVT menu [Window] > [Preferences] > [Help] > CDN eLRM:

 

amiq tip - Picture1

 

Besides browsing the Specman documentation in the Eclipse integrated help:

 

amiq tip - Picture2

 

you can directly select code in the editor and press <Ctrl>+<Shift>+<H> to find matching topics in the documentation:

 

amiq tip - Picture3

 

Of course, you can type anything in the search text-box and locate your relevant topics.

BONUS:
You can also use DVT to scan the Specman/IES-XL output and automatically create hyperlinks to source code from errors, warnings, etc.  From the main DVT menu, execute [Run] > [Run Configurations], create a new Generic launch configuration, give it a name, then specify the launch command and work directory:

 

amiq tip - Picture4

 

Next, while still in the Run Configurations dialog box, click on the [Filters] tab and turn on the Specman and other relevant filters as shown in the following example:

 

amiq tip - Picture5

 

When finished selecting filters, click the [Run] button in the lower right hand side.  As shown below, output is then dumped to the console and patterns matching the filters (customizable BTW) are turned into hyperlinks to source code (both for compilation errors and run-time dut errors, assertions etc.)

 

amiq tip - Picture6

 

Note that once you have configured a run, you can easily access it from the main window’s [Run] drop-down menu.

 


There’s more:
If you just want to load some code in Specman to detect some semantic errors, there is a quicker way:  right click on a file (top/test file typically) and chose [Run As] > [Load in Specman] as shown below:

 

amiq tip - Picture8

 

Happy Coding!

Team Specman and AMIQ

 

© 2025 Cadence Design Systems, Inc. All Rights Reserved.

  • Terms of Use
  • Privacy
  • Cookie Policy
  • US Trademarks
  • Do Not Sell or Share My Personal Information