See our interesting Blog post at: http://www.vmmcentral.org/vmartialarts/?p=1130
On the topic of adding SystemVerilog “bind files” – a new tool that is shaping up can help automate even that part – see ZazzOVL (www.zocalo-tech.com). Though as of now it works only for OVL, technically speaking it is very easy to extend it for user specified assertion libraries/modules/MIPs etc.
1 comment:
In addition to OVL, Zazz supports assertion libraries from Cadence, Mentor and Synopsys.
In addition to automatic bind file management, Zazz provides an automated documentation capability for including the assertion as part of the verification plan.
Users can also add custom assertion libraries (with a little help from Zocalo)...or contract this task out with consultants familiar with the process.
Howard Martin
President
Zocalo Tech, Inc.
Post a Comment