Part-1: ASIC Design & Verification of Shift & Add Multiplier using Cadence EDA Tools

Agenda :

Prelude: 

• Introduction to shift and add multiplier
• Functional logic description of shift and add multiplier

 

Main Session:

• Design Analysis and Verification Plan
• Write RTL code (Verilog) for shift and add multiplier
• Testbench creation for Functional Simulation
• Coverage Analysis of Testbench
• Formal Verification of RTL using Jasper Gold
• Design Synthesis and PPA reports analysis
• Focus on SDC constraints to obtain optimum gate-level netlist
• Design for Testability (DFT)
• Pre and Post-Synthesis Logic Equivalence Check (LEC)

 

Tools Used : Cadence Incisive/ Xcelium, IMC, Jasper Gold, Genus, Modus, Conformal LEC.

Credits / Reference : All Rights & Credits belong to VTU.