Latest News Release 2.0 of Verity-Check
is available now. Major improvements in Verity-Check include: support for the Accellera PSL (Sugar) standard, clock domain boundary checking, RTL DFT
checks and user specified rules. Release 1.0 of Verity-Validation, Veritable's formal test bench generator is available now. |