-
Synopsys Functional Equivalence Checking
Synopsys offers several tools to address the need for equivalence checking of your large complex SoCs, all type of memories, full custom logic and I/Os. With unique and patented technologies, including Hier-IQ technology and symbolic techniques, users obtain the most comprehensive equivalence coverage available.
-
Synopsys Discovery Verification Platform
The Discovery™ Verification Platform is an integrated system, RTL, equivalence checking, and mixed-signal verification solution that provides high performance and efficient interactions among best-in-class technologies. These technologies include mixed-HDL simulation, mixed-signal simulation, system-level verification, assertions, verification IP, code coverage, functional coverage, testbenches, and formal analysis. Discovery’s components support Verilog, VHDL, mixed-HDL, SystemVerilog, SystemC and analog/mixed-signal designs.
|
