Verifiera SoC Med Assertions - (Elektronik i Norden)
Behavioral Synthesis Tied to Verification - (EE Times)
Verification - Pulling It All Together - (Electronics Weekly)
Novas Tools Get Testbench Debug Boost
Debugging Gets Assertive - The Verdi debugging system now supports assertion-based verification (Electronic Design)
Novas adds assertion support to debugger (EETimes)
Novas systems to support Verisity verification language
