Race condition detection and expression

Details Race condition detection and expression Race condition detection and expression

2007-07-10

2007-07-10

Chiang, Jack (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

Reexamination Certificate

active

10990121

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

REFERENCES:
patent: 5608645 (1997-03-01), Spyrou
patent: 5648909 (1997-07-01), Biro et al.
patent: 5748487 (1998-05-01), Sawasaki et al.
patent: 6430731 (2002-08-01), Lee et al.
patent: 6601221 (2003-07-01), Fairbanks
patent: 6691301 (2004-02-01), Bowen
patent: 7024661 (2006-04-01), Leino et al.
patent: 7082584 (2006-07-01), Lahner et al.
Shriver et al, “Timing verification of the 21264: A 600 MHz full-custom microprocessor”, International Conference on Computer Design: VLSI in Computers and Processors, Oct. 5-7, 1998, pp. 96-103.
Fisher et al., “Race-Free State Assignments for Synthesizing Large-Scale Asynchronous Sequential Logic Circuits”, IEEE Transactions on Computers, vol. 42 No. 9, pp. 1025-1034, 1993.
Goering R., “SureFire reveals new verification approach”, EE Times, Dec. 7, 1998.
Piquet, C., “Logic Synthesis of Race-Free Asychronous CMOS Circuits”, IEEE Journal of Solid-State Circuits, vol. 26, No. 3, pp. 371-380, 1991.
“Coding Styles that Kill SureLint's Unique Race Detection Technology to the Rescue” VERIFYER, ′Online Jun. 2000, XP002226479, Retrieved from the Internet: <URL:http://www.veristy.com/resources/verify/june2000/surelint/html>, 'retrieved on Jan. 8, 2003!.
“SureLint, Not Your Ordinary Lint Checker”, VERIFYER, ′Online! Mar. 2000, XP-002226480, Retrieved from the Internet: <URL: http://www.verisity.com/resources/verifyer/march2000/surelint.html>, 'retrieved on Jan. 8, 2003!.

Affiliated with

Also associated with

Rating

Race condition detection and expression does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Race condition detection and expression, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Race condition detection and expression will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3773718