TITLE

Synopsys eyes verification snags

PUB. DATE
September 1996
SOURCE
Electronic News;9/16/96, Vol. 42 Issue 2134, p34
SOURCE TYPE
Trade Publication
DOC. TYPE
Article
ABSTRACT
Reports on the launching of Synopsys' Arkos system hardware emulator/simulation accelerator and Cyclone RTL cycle-based simulator. Aim of addressing design verification problems; Features and prices; Production shipments.
ACCESSION #
9609226956

 

Related Articles

  • Big Synopsys challenges formal verification market. Stefora, Ann // Electronic News;02/02/98, Vol. 44 Issue 2204, p6 

    Reports on Synopsys Inc.'s entry in the microchip verification equipment market. Shipment of verification tools made by the company; Development of an equivalence checking tool; Features of the company's verification equipment based on Formality architecture.

  • Synopsys Rolls Out New Verification Tool. Steffora, Ann // Electronic News;05/17/99, Vol. 45 Issue 20, p20 

    Focuses on the verification tool for integrated circuits developed by Synopsys Inc. Verification issues addressed by the tool; Target capacities for Cedar tool; Features of Cedar.

  • Synopsys, Fujitsu Develop SPARClite Model.  // Electronic News;07/19/99, Vol. 45 Issue 29, p34 

    Reports on the alliance formed by Fujitsu Ltd. and Synopsys Inc. to develop a hardware/software coverification model for SPARClite microprocessor cores. Applications of SPARClite products; Complex verification technologies of SPARClite; Semiconductor sales of Fujitsu in its 1998 fiscal year...

  • Formal Verification Adoption Quickens. Morrison, Gale // Electronic News;04/17/2000, Vol. 46 Issue 16, p36 

    Focuses on the formal verification tools offered by Mentor Graphics Corp., Synospsys Inc. and Cadence Design Systems Inc. Success of Verplex Inc. in selling Tuxedo-LEC tool; Firms in verification tools market that closed their business.

  • Mentor targets advanced verification. Erkanat, Judy // Electronic News;12/9/96, Vol. 42 Issue 2146, p57 

    Reports on Mentor Graphics' introduction of advanced verification products said to address high-speed verification of large designs at all levels of abstraction. Opnet Xpress Developer co-simulator for QuickHDL; QuickHDL-XLC cycle-based optimizer for QuickHDL; SimExpres version 1.5; Pricing.

  • Tool targets transistor netlists. Moretti, Gabe // EDN;12/21/2000, Vol. 45 Issue 26, p20 

    Focuses on Valiosys' introduction of TraLaLa, a transistor-level analysis and logic-abstraction tool that can reduce verification time for complex circuits. Marketing of the product as part of a merger with Sansistor, the product's developer; Performance of an in-depth flat or hierarchical...

  • Hardware tools aid engineers in design verification. Moretti, Gabe // EDN Europe;Sep2001, Vol. 46 Issue 9, p47 

    Focuses the use of hardware tools to aid engineers in circuit design verification. Rate of product-development resources required in design verification; Tools used for front and back-end simulations; Efficiency of prototyping in platform-based design. INSET: RTL PROTOTYPING: AN ALTERNATIVE...

  • Formal verification helps stamp out design bugs. Ajluni, Cheryl // Electronic Design;12/01/98, Vol. 46 Issue 27, p67 

    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...

  • 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.

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