Invention Grant
US07757191B2 Racecheck: a race logic analyzer program for digital integrated circuits
有权
Racecheck:数字集成电路的比赛逻辑分析程序
- Patent Title: Racecheck: a race logic analyzer program for digital integrated circuits
- Patent Title (中): Racecheck:数字集成电路的比赛逻辑分析程序
-
Application No.: US11962042Application Date: 2007-12-20
-
Publication No.: US07757191B2Publication Date: 2010-07-13
- Inventor: Terence Wai-kwok Chan
- Applicant: Terence Wai-kwok Chan
- Agency: Dynetix Design Solutions Inc.
- Agent Terence Chan
- Main IPC: G06F17/50
- IPC: G06F17/50

Abstract:
Techniques a race logic analysis on an integrated circuit (IC) design are described herein. In one embodiment, all hardware description language (HDL) defined system functions and/or tasks that have one or more side-effects when invoked in a first HDL language, but not when the same HDL-defined system functions/tasks are invoked in a second HDL language are identified. For all processing blocks that invoke the HDL-defined system functions/tasks that have side-effects, one or more triggering conditions of the processing blocks and HDL languages in which the processing blocks are coded are collected. When detecting a concurrent invocation race of the HDL-defined system functions/tasks statically or dynamically, checking is performed only the processing blocks that are coded in one or more HDL languages which render the HDL-defined system functions/tasks to manifest the one or more side-effects. Other methods and apparatuses are also described.
Public/Granted literature
- US20080098339A1 RACECHECK: A RACE LOGIC ANALYZER PROGRAM FOR DIGITAL INTEGRATED CIRCUITS Public/Granted day:2008-04-24
Information query