TransEDA announces the availability of Assertain production release, a verification closure solution that delivers, in a single environment, total measurement and control of the digital design verification process.
Assertain seamlessly integrates rule, protocol and assertion checking; code and assertion coverage; design and assertion coverability analysis; test suite optimization and specification coverage using proven requirements traceability techniques. Covering all front-end stages from original text specification through to validated RTL, Assertain monitors the verification process, providing engineers with all necessary data to better control design verification, thereby enabling a faster convergence toward sign-off coverage criteria. transeda.com |