Specman

Specman Elite® is a tool which allows automated and reusable verification environments to be created using the e language. e is an industry and IEEE standard language (IEEE1647). e is unique in that it allows Aspect Orientated Programming (AOP) and powerful Infinity Minus constrained random generation. Specman Elite® is part of the Cadence Incisive Enterprise Specman Simulator®, but can also be interfaced to other simulators.

Free Documents

The original e LRM donated by Verisity (Cadence Acquisition)- containing many examples:
1647-2008 Documents Ready for Review

Documents Donated by Cadence for the New Revision – WG use only (Copyrights held by IEEE)

• Constant Fields – constant_fields_070309.pdf (63 KBytes)
• Encapsulation – encapsulation_060908.pdf (87 KBytes)
eRM Sequences – erm_sequences_061205.pdf (1.1 MB)
• Messages (eRM) – erm_messages_061205.pdf (408 KB)
• Name Spaces – namespaces_v11.pdf (396 KB)
• Ports – ports_061006.pdf (1.1 MB)
• Reflection Facility – reflection_facility.pdf (403 KBytes)





Links

IEEE1647.org

Home: http://www.ieee1647.org/
Downloads: http://www.ieee1647.org/downloads.html
Dropbox: http://www.ieee1647.org/downloads/dropbox/

Speran Domain

SpecMan Elite Verification Environment : Overview & Booking
Specman Elite Advanced Verification: Overview & Booking

Cadence Domain

Advanced Verification with Specman Elite - AVS v2.0 (.pdf - Cadence in China - US$ 3,150/3 days)

IEEE Domain

1647-2006: IEEE Standard for the Functional Verification Language 'e'

PDF File: 01707465.pdf
Publication Date: 2006
Page(s): 0_1- 371
E-ISBN: 0-7381-4941-1
ISSN:
ISBN: 0-7381-4940-3
Persistent Link (OPAC): http://ieeexplore.ieee.org/servlet/opac?punumber=11184

Other Sites

Verisity Domain

Blogs

Wikipedia Domain

Editor Syntax Highlighting Modes

Videos





Č
Ċ
ď
01707465.pdf
(2964k)
Carlos Alberto Rosa,
Jul 4, 2008 12:25 PM