will be under maintenance from Friday, Oct. 3rd at 6pm (PST) thru Sunday, Oct 5th at 11pm (PST). login, registration, community posting and commenting functionalities will be disabled.
Home > Community > Tags > eDoc Specman e
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 Cadence 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: *

eDoc Specman e

  • Bidirectional has() and count() List Pseudo-Methods

    Hi. As of the 11.1 release, the list.has() and list.count() list pseudo-methods can be treated as bidirectional constraint operators. In 11.1, list.has() and list.count() are solved unidirectionally by default. To ensure that these pseudo-methods are solved as bidirectional expressions, set the config...
    Posted to Functional Verification (Forum) by IonutC on Tue, Mar 5 2013
  • end-of-test

    Hi All, I am running one testcase in which i am waiting for power-on-reset to be over and then doing some sequence. In the pre_body i have raised objection and in post_body i have dropped the objection. ISSUE : In the testcase as soon as reset is getting over in the next clock edge i am getting this...
    Posted to Functional Verification (Forum) by Ravisinha on Tue, Oct 19 2010
  • Re: how to auto generate html document from exist e code

    The feature you're referring to is called eDoc, and the command (in Specman) is "write doc". This lets you write out HTML docs for all or some of the loaded e code. Usually we use it to generate the docs for the eRM packages rather than just the loaded files, so there is a switch to control...
    Posted to Functional Verification (Forum) by StephenH on Tue, Jan 5 2010
Page 1 of 1 (3 items)