List of Companies OpenVera Company Product Denali Software Inc. Memory Modeler Advanced Verification (MMAV) Novas Debussy SynaptiCAD TestBencher Pro Synopsys, Inc. Pioneer-NTB, VCS, VCS Verification Library, Vera VeriEZ EZVerify Verilab vzDoc OVA Company Product Aldec Riviera, Riviera-IPT Axiom @Designer, @Verifier Novas Verdi Synopsys Pioneer-NTB, VCS, VCS Verification Library, Vera Veritools Undertow