Home > Community > Blogs > Functional Verification > tip for linking amiq s dvt to the specman docs
Login with a Cadence account.
Not a member yet?
Create a permanent login account to make interactions with Cadence more convenient.

Register | Membership benefits
Get email delivery of the Functional Verification blog (individual posts).


* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

Tip for Linking AMIQ’s DVT to the Specman Docs

Comments(0)Filed under: Functional Verification, Incisive Enterprise Simulator (IES), Specman, IES-XL, Tech Pubs, tech tips, Incisive, AMIQ

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.

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



Leave a Comment

E-mail (will not be published)
 I have read and agree to the Terms of use and Community Guidelines.
Community Guidelines
The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.