PARTNERS

Forte/Cadence integrations provide our mutual customers with products that support advanced design options and methods, improving their system design and hardware design flow. Forte/Cadence integrations include:

• Cadence NC-Verilog.  Cynthesizer provides built-in support for the Cadence NC-Verilog simulator. Cynthesizer incorporates NC-Verilog in the design environment generating cosimulation wrappers, command lines, and scripts and automating the invocation of NC-Verilog. Cynthesizer manages the creation and organization of your simulation runs and maintains separate simulation results for each of them. Cynthesizer can access the information produced during simulation, so it can include that data in its own reporting process.
   
• Cadence BuildGates.  Cynthesizer provides built-in support for the Cadence BuildGates logic synthesis tool. You can produce a gate-level implementation of any RTL implementation produced by Cynthesizer. Cynthesizer manages the creation and organization of these implementations and maintains separate logic synthesis results for each of them. Cynthesizer can access the information produced during logic synthesis, so it can include that data in its own reporting process. Models created by Cynthesizer already have improved area and speed, so your logic synthesis tool doesn’t have to work as hard to build gate-level representations of your RTL models. Your logic synthesis tool will work faster, and you will spend less time iterating at that level.
   
• Cadence Conformal.  Checking the equivalence between RTL and gate-level Verilog can be a useful step in verifying the functional correctness of a design prior to tapeout. Formal equivalence checking allows a higher level of abstraction (RTL) to be verified through simulation without having to re-run simulations at the gate-level, which can save a significant amount of time. To address this need, Cynthesizer supports equivalence checking via integration with Cadence Design Systems’ Conformal tool. Cynthesizer incorporates Conformal in the design environment generating command lines and scripts as well as automating the invocation of Conformal. Cynthesizer manages the creation and organization of your equivalence checking runs and maintains separate results for each of them. Cynthesizer can access the information produced during equivalence checking runs, so it can include that data in its own reporting process.

For more information about Cadence products and Forte/Cadence integrations, go to www.cadence.com.