WO2002027341A3 - Race condition detection and expression - Google Patents

Race condition detection and expression Download PDF

Info

Publication number
WO2002027341A3
WO2002027341A3 PCT/US2001/029557 US0129557W WO0227341A3 WO 2002027341 A3 WO2002027341 A3 WO 2002027341A3 US 0129557 W US0129557 W US 0129557W WO 0227341 A3 WO0227341 A3 WO 0227341A3
Authority
WO
WIPO (PCT)
Prior art keywords
expression
races
condition detection
race condition
test vectors
Prior art date
Application number
PCT/US2001/029557
Other languages
French (fr)
Other versions
WO2002027341A2 (en
Inventor
Pei Ouyang
Original Assignee
Verisity Design Inc
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Verisity Design Inc filed Critical Verisity Design Inc
Priority to AU2001292913A priority Critical patent/AU2001292913A1/en
Publication of WO2002027341A2 publication Critical patent/WO2002027341A2/en
Publication of WO2002027341A3 publication Critical patent/WO2002027341A3/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/32—Circuit design at the digital level
    • G06F30/33—Design verification, e.g. functional simulation or model checking

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Tests Of Electronic Circuits (AREA)

Abstract

A method and apparatus for improved race detection and expression is disclosed. The race detection method and apparatus disclosed herein detects races statically by analyzing the circuits, which are usually written in a hardware description language (HDL), such as VHDL or Verilog. Compared with known simulation approaches, the inventive method and apparatus has at least the following advantages: no test vectors are required; all potential races can be detected; and in simulator approaches, if the right test vectors are not provided, then the races cannot be found (the invention avoids this last constraint).
PCT/US2001/029557 2000-09-28 2001-09-21 Race condition detection and expression WO2002027341A2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
AU2001292913A AU2001292913A1 (en) 2000-09-28 2001-09-21 Race condition detection and expression

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US09/672,382 US6536019B1 (en) 2000-09-28 2000-09-28 Race condition detection and expression
US09/672,382 2000-09-28

Publications (2)

Publication Number Publication Date
WO2002027341A2 WO2002027341A2 (en) 2002-04-04
WO2002027341A3 true WO2002027341A3 (en) 2003-07-10

Family

ID=24698310

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US2001/029557 WO2002027341A2 (en) 2000-09-28 2001-09-21 Race condition detection and expression

Country Status (3)

Country Link
US (2) US6536019B1 (en)
AU (1) AU2001292913A1 (en)
WO (1) WO2002027341A2 (en)

Families Citing this family (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6631506B1 (en) * 2002-04-02 2003-10-07 Hewlett-Packard Development Company, L.P. Method and apparatus for identifying switching race conditions in a circuit design
FI20030622A (en) * 2003-04-24 2004-10-25 Tietoenator Oyj Analysis of network service operations
US7673295B1 (en) * 2004-04-27 2010-03-02 Sun Microsystems, Inc. System and method for compile-time non-concurrency analysis
GB2415268A (en) * 2004-06-15 2005-12-21 Hewlett Packard Development Co Apparatus and method for process monitoring
US7774490B2 (en) * 2007-09-20 2010-08-10 Microsoft Corporation Crisscross cancellation protocol
US7966591B2 (en) * 2008-10-09 2011-06-21 Cray, Inc. System and method for verifying race-driven registers
CN102467583B (en) * 2010-10-29 2014-07-23 国际商业机器公司 Method and device for tracking uncertain signal
EP3080702B1 (en) * 2013-12-12 2019-08-14 Intel Corporation Techniques for detecting race conditions
US10803219B1 (en) * 2019-03-22 2020-10-13 Cadence Design Systems, Inc. Method and system for combined formal static analysis of a design code
US11354130B1 (en) * 2020-03-19 2022-06-07 Amazon Technologies, Inc. Efficient race-condition detection
JP2022049470A (en) 2020-09-16 2022-03-29 キオクシア株式会社 Logic simulation verification system, logic simulation verification method and program

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5748487A (en) * 1995-01-31 1998-05-05 Imec System and method for generating a hazard-free asynchronous circuit

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5648909A (en) * 1992-06-12 1997-07-15 Digital Equipment Corporation Static timing verification in the presence of logically false paths
EP0600608B1 (en) * 1992-10-29 1999-12-22 Altera Corporation Design verification method for programmable logic design
US5608645A (en) * 1994-03-17 1997-03-04 Vlsi Technology, Inc. Method of finding a critical path in a circuit by considering the clock skew
US6430731B1 (en) * 1999-08-04 2002-08-06 International Business Machines Corporation Methods and apparatus for performing slew dependent signal bounding for signal timing analysis

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5748487A (en) * 1995-01-31 1998-05-05 Imec System and method for generating a hazard-free asynchronous circuit

Non-Patent Citations (3)

* Cited by examiner, † Cited by third party
Title
"Coding Styles that Kill! SureLint's Unique Race Detection Technology to the Rescue", VERIFYER, June 2000 (2000-06-01), XP002226479, Retrieved from the Internet <URL:http://www.verisity.com/resources/verifyer/june2000/surelint.html> [retrieved on 20030108] *
"SureLint, not your ordinary lint checker", VERIFYER, March 2000 (2000-03-01), XP002226480, Retrieved from the Internet <URL:http://www.verisity.com/resources/verifyer/march2000/surelint.html> [retrieved on 20030108] *
PIGUET C: "LOGIC SYNTHESIS OF RACE-FREE ASYNCHRONOUS CMOS CIRCUITS", IEEE JOURNAL OF SOLID-STATE CIRCUITS, IEEE INC. NEW YORK, US, vol. 26, no. 3, 1 March 1991 (1991-03-01), pages 371 - 380, XP000222615, ISSN: 0018-9200 *

Also Published As

Publication number Publication date
AU2001292913A1 (en) 2002-04-08
US20030140326A1 (en) 2003-07-24
US7017129B2 (en) 2006-03-21
US6536019B1 (en) 2003-03-18
WO2002027341A2 (en) 2002-04-04

Similar Documents

Publication Publication Date Title
WO2007024609A3 (en) Translation quality quantifying apparatus and method
WO2002044699A3 (en) Method and device for determining the properties of an integrated circuit
WO2002027341A3 (en) Race condition detection and expression
GB2433134A (en) Fault detection system and method based on weighted principal component analysis
WO2006135417A3 (en) System, method and computer program product for developing a system-of-systems architecture model
WO2006052858A3 (en) Apparatus and method for providing visual indication of character ambiguity during text entry
WO2007026150A3 (en) Online search system, method and computer program
WO2007024351A3 (en) Region of interest tracking and integration into a video codec
AU2001291552A1 (en) Method and system for testing and/or diagnosing circuits using test controller access data
WO2005111570A3 (en) Adaptive leak testing method
AU8822101A (en) Non-destructive inspection, testing and evaluation system for intact aircraft and components and methods therefore
WO2005055094A3 (en) System and method for architecture verification
GB0001561D0 (en) Document momitoring system and method
WO2003029804A1 (en) Measurement instrument and concentration measurement apparatus
WO2003025780A8 (en) System and method for journal recovery for multinode environments
AU2001292959A1 (en) Highly sensitive proteomic analysis methods and kits and systems for practicing the same
WO2005010499A3 (en) Device and method for handling a probe
WO2002075334A3 (en) Apparatus and method for measuring and probability estimating for clock skews
SG158187A1 (en) Lithographic apparatus with multiple alignment arrangements and alignment measurement method
IL172591A0 (en) A system and method of processing radar information
WO2001065759A3 (en) Method and apparatus for critical and false path verification
WO2003090050A3 (en) System and method for detecting malicicous code
WO2005094397A3 (en) Tone event detector and method therefor
WO2006036578A3 (en) Method for finding paths in video
DE60209773D1 (en) DEVICE AND METHOD FOR DETECTING COVER

Legal Events

Date Code Title Description
AK Designated states

Kind code of ref document: A2

Designated state(s): AE AL AM AT AU AZ BA BB BG BR BY CA CH CN CR CU CZ DE DK DM EE ES FI GB GD GE GH GM HR HU ID IL IN IS JP KE KG KP KR KZ LC LK LR LS LT LU LV MA MD MG MK MN MW MX NO NZ PL PT RO RU SD SE SG SI SK SL TJ TM TR TT TZ UA UG UZ VN YU ZA ZW

AL Designated countries for regional patents

Kind code of ref document: A2

Designated state(s): GH GM KE LS MW MZ SD SL SZ TZ UG ZW AM AZ BY KG KZ MD RU TJ TM AT BE CH CY DE DK ES FI FR GB GR IE IT LU MC NL PT SE TR BF BJ CF CG CI CM GA GN GQ GW ML MR NE SN TD TG

121 Ep: the epo has been informed by wipo that ep was designated in this application
DFPE Request for preliminary examination filed prior to expiration of 19th month from priority date (pct application filed before 20040101)
REG Reference to national code

Ref country code: DE

Ref legal event code: 8642

122 Ep: pct application non-entry in european phase
NENP Non-entry into the national phase

Ref country code: JP