Cloud native EDA tools & pre-optimized hardware platforms
Synopsys is a leading provider of electronic design automation solutions and services.
Synopsys is a leading provider of high-quality, silicon-proven semiconductor IP solutions for SoC designs.
Synopsys helps you protect your bottom line by building trust in your software—at the speed your business demands.
Designer's Digest
Issue #22: Innovations in Symbolic Equivalence Checking to Address Custom & Memory Designs
Welcome to the Designer's Digest!
This issue of Designer’s Digest is focused on custom equivalence checking. New custom digital flows are bringing challenges to equivalence checking since it has to handle netlist representations from Verilog behavioral model, RTL, gate, Liberty .DB, switch to transistor level. In this issue learn about the challenges, how Synopsys is addressing these topics and creating further value by incorporating various static checks along with formal equivalence checking.
ESP’s symbolic simulation technology verifies the equivalence between reference and implementation models with high design coverage.
Read moreDetecting Electrical Hazards Incurred by Inter-Voltage Domain Crossing in Custom SRAMs
Read moreThis article explains why equivalence checking is important and the difference between logic equivalence checking and sequence equivalence checking.
Learn more about Scan Testbench, IO Pads and Standard Library Verification
Model Variation And Its Impact On Cell Characterization
Learn more about new methodologies required to deal with local variation at advanced nodes.