TITLE

Verification environment targets third-generation wireless systems

AUTHOR(S)
Moretti, Gabe
PUB. DATE
September 2000
SOURCE
EDN;09/28/2000, Vol. 45 Issue 20, p24
SOURCE TYPE
Trade Publication
DOC. TYPE
Article
ABSTRACT
Reports the launching of a high-performance verification technology for third-generation wireless communication systems from Quickturn. Alliance with Elektrobit Ltd. in the development of the technology; Provision of an integrated approach to hardware/software co-verification; Function of the Audio and Video SpeedBridge interface.
ACCESSION #
3646694

 

Related Articles

  • Extending Formal Verification Methodologies Beyond The Gate Level. Kuang-Chien Chen // Electronic Design;3/18/2002, Vol. 50 Issue 6, p40 

    Focuses on the preference for formal verification methodology by electronics designers. Demand for semiconductor design flow; Elimination of lengthy gate-level simulations; Provision of equivalence checking in formal verification software.

  • Online citation verification using STN. Goldstein, Robyn; Hawley, Lorin // Online;Jan/Feb99, Vol. 23 Issue 1, p58 

    Focuses on the verification of bibliographic citations using STN. Database selection; Cost-effective citation verification searching; Use of search terms in more than one database; Verification strategies.

  • Who goes there? Stevens, Tim // Industry Week/IW;03/16/98, Vol. 247 Issue 6, p47 

    Provides information on biometric identification and verification systems and some examples that would testify to its presence in the 1990s. Examples that show worldwide application of biometrics; List of recognition procedures to validate identity; Basic types of errors in biometric...

  • Verisity partners with top semi firms, IP vendors. Stefora, Ann // Electronic News;09/21/98, Vol. 44 Issue 2237, p40 

    Reports on functional verification tool provider Verisity Ltd.'s launch of its Pure IP program to bridge the gap between Internet protocol (IP) developers and IP integrators. Initial member of the program; Kinds of tools used by IP designers; Features of Invisible Specman, a component of...

  • Hardware-emulation family speeds high-density chip verification. Lipman, Jim // EDN;02/03/97, Vol. 42 Issue 3, p22 

    Reports on the expansion of the emulation product line at the Quickturn Design System company through its CoBALT (Concurrent Broadcast Array Logic Technology) emulation system. What Quickturn based the system from; Information on the features of the CoBALT; Cost of the CoBALT system.

  • Quickturn establishes new engineering services group.  // Electronic News;6/12/95, Vol. 41 Issue 2069, p80 

    Offers information on how Quickturn Design Systems is establishing a Time-to-Market Engineering Services group to help customers employ logic emulation in their design projects. Services to be provided by the group; Comments by Christopher J. Tice of Quickturn; Metaflow Technologies, the pilot...

  • Quickturn shows new software.  // Electronic News;6/6/94, Vol. 40 Issue 2017, p71 

    Reports on Quickturn Design Systems' introduction of version 5.0 of its Precision Emulation Software. Features; Quickturn's support for the Mars III and Enterprise product line according to vice president of sales, support and marketing Steve Butler.

  • Verification of clocked and hybrid systems. Kesten, Yonit; Manna, Zohar; Pnueli, Amir // Acta Informatica;2000, Vol. 36 Issue 11, p837 

    Abstract. This paper presents a new computational model for real-time systems, called the clocked transition system (CTS) model. The CTS model is a development of our previous timed transition model, where some of the changes are inspired by the model of timed automata. The new model leads to a...

  • Talent Trumps Tools. Meyer, Andy // Electronic News;02/21/2000, Vol. 46 Issue 8, p28 

    Focuses on the electronic design automation (EDA) tools for system verification. Verification problems where EDA tools are used; Gaps in the available EDA tools.

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