Formal verification helps stamp out design bugs

Ajluni, Cheryl
December 1998
Electronic Design;12/01/98, Vol. 46 Issue 27, p67
Trade Publication
Focuses on the technology of integrated circuit formal verification. Complexity of the technology; Categories and definition of formal verification; Reasons for the emergence of interest in the technology; Scope of the use and importance of the equivalence checking technique in formal verification; Use and functions of model checking technique in formal verification. INSET: Debunking the formal-verification myths.


Related Articles

  • Formal-verification tools now available.  // Electronic Design;12/01/98, Vol. 46 Issue 27, p70 

    Features several integrate circuit formal verification tools available from various manufacturers in the United States. Includes equivalence-checking tool from Verysys Design Automation; Design verification tool from Synopsys; Equivalence checking tool from Cadence Design Systems.

  • Choosing the right models for your core-based chip designs. Lipman, Jim // EDN;01/02/97, Vol. 42 Issue 1, p75 

    Describes various computer software used in integrated circuits verification. Includes Omniview's Performance Modeling Workbench; I-Logix's Statemate Magnum; Cadence Design Systems' Verilog-XL. INSETS: Looking ahead.;VSI alliance--a new core-based design facilitator.;For free information...

  • A user's guide to selecting the right IC design verification tools. Ajluni, Cheryl // Electronic Design;11/03/97, Vol. 45 Issue 24, p202 

    Opinion. Presents information on IC design verification tools. Suggestions for selecting a verification tool that is appropriate to suit your needs; Problems that a designer might encounter and what they should do; Description of the BBD method used for complex ASICs; How to choose a methodology.

  • Formal verification of IC designs is growing sharply as applications expand. Bricaud, Pierre // Electronic Design;11/03/97, Vol. 45 Issue 24, p204 

    Opinion. Focuses on formal verification of IC designs. Role of Simulation in the design cycle; Discussion on the verification of the Z80 microcontroller; Aim of formal verification; Description of the method RTL-DRC used for checking RTL code; What is equivalence checking.

  • Going Formal Dresses SOCs for Success. Chang, C. Michael // Electronic News;06/18/2001, Vol. 47 Issue 25, p26 

    Deals with the methods of verifying systems-on-chips. Benefits of verification; Comparison of formal verification method and simulation method; Advantages of formal verification.

  • Hardware Verifier Slugfest. Morrison, Gale // Electronic News;5/13/2002, Vol. 48 Issue 20, p6 

    Focuses on the U.S. hardware verification segment as of May 2002. Introduction of the Xtreme-II verification system from Axis Systems Inc.; Market position of Cadence Design Systems Inc.'s Quickturn subsidiary.

  • Formal verification in a simulation environment. Tabrizi, Farshid // ECN: Electronic Component News;Aug98, Vol. 42 Issue 8, p72 

    Discusses improvements in formal verification of integrated circuit design in a simulation environment. Impact of the System-on-Chip mandate on the trend in cost per gate on a chip; Use of cycle based simulation in increasing the number of simulation cycles; Model checking approach.

  • DRC vs. formal physical verification. Delude, Judith // ECN: Electronic Component News;Aug98, Vol. 42 Issue 8, p73 

    Discusses the difference between design rule check (DRC) and formal physical verification using a DFM simulation tool in integrated circuit design. Applications and uses of the DRC; Limitations of the DRC in detecting violations under the minimum requirement; Manufacturing simulation tool's...

  • Verification for higher productivity. Patel, Hitesh; Fields, Carol // ECN: Electronic Component News;Aug98, Vol. 42 Issue 8, p73 

    Discusses the use of integrated circuit design and verification methodology to help improve productivity. Three major steps; Testbench methodology; Changing role of verification.


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics