TITLE

Formal verification helps stamp out design bugs

AUTHOR(S)
Ajluni, Cheryl
PUB. DATE
December 1998
SOURCE
Electronic Design;12/01/98, Vol. 46 Issue 27, p67
SOURCE TYPE
Trade Publication
DOC. TYPE
Article
ABSTRACT
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.
ACCESSION #
1384475

 

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.

Share

Read the Article

Courtesy of THE LIBRARY OF VIRGINIA

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

Try another library?
Sign out of this library

Other Topics