All Categories : EDA Tutorials Bookmark and Share

Title : Conformal Logic Equivalence Checking (LEC)
Company :
Date : 28-Oct-2006
Rating :
Downloads : 965

Rate This File
5 Stars
4 Stars
3 Stars
2 Stars
1 Star

This tutorial provides a quick getting-strated guide to Cadence Conformal logic equivalence checking. The basic flow is to input both an RTL netlist and a synthesized netlist and then have Conformal check whether both netlists are equal. Think of it as an LVS for Verilog. This is a powerful tool to get a formal proof that the output from Synthesis matches the original RTL code without having to run simulation
User Reviews More Reviews Review This File
Great artile - sere - Report As Inappropriate
Just look around - callout007 - Report As Inappropriate
It looks good - rupesh - Report As Inappropriate
let me have a look at it b4 reviewing it. - ank - Report As Inappropriate
to know the more details about the conformal - vishwa - Report As Inappropriate
Aldec


Editorial
Roberto FrazzoliEDACafe Editorial
by Roberto Frazzoli
Unicorns next door: high-momentum Bay Area startups
More Editorial  
Jobs
Salesforce Technical Lead   East Coast  for EDA Careers at Cherry Hill, New Jersey
Sr. Application Engineer for Mentor Graphics at Fremont, California
Hardware Engineer, Board Design for Arista Networks at Santa Clara, California
Senior Account Managers… FORMAL VERIFICATION...VALLEY for EDA Careers at San Jose, California
Senior Software Engineer for EDA Careers at San Jose, California
Upcoming Events
DVCon U.S. 2020 at DoubleTree Hotel San Jose CA - Mar 2 - 5, 2020
OFC 2020 - The Optical Networking and Communication Conference & Exhibition at San Diego Convention Center San Diego CA - Mar 8 - 12, 2020
DATE '2020 at ALPEXPO Grenoble France - Mar 9 - 13, 2020
NVIDIA’s GPU Technology Conference (GTC) at San Jose McEnery Convention Center 150 West San Carlos Street San Jose CA - Mar 22 - 26, 2020



© 2020 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise