Specman

GPTKB entity

Statements (22)
Predicate Object
gptkbp:instanceOf electronic design automation
gptkbp:category gptkb:Electronic_Design_Automation
gptkbp:developedBy gptkb:Cadence_Design_Systems
gptkbp:feature debugging tools
assertion-based verification
testbench automation
functional coverage
constrained random stimulus generation
gptkbp:firstReleased 1996
https://www.w3.org/2000/01/rdf-schema#label Specman
gptkbp:integratesWith gptkb:Cadence_Xcelium
gptkb:Synopsys_VCS
Mentor Questa
gptkbp:license proprietary
gptkbp:platform gptkb:Windows
gptkb:Linux
gptkbp:supportsLanguage e language
gptkbp:usedFor functional verification
gptkbp:website https://www.cadence.com/en_US/home/tools/system-design-and-verification/simulation/specman.html
gptkbp:bfsParent gptkb:Verisity
gptkb:e_(hardware_verification_language)
gptkbp:bfsLayer 8