CN1300838C - 包含黑盒的电路设计验证与错误诊断方法 - Google Patents
包含黑盒的电路设计验证与错误诊断方法 Download PDFInfo
- Publication number
- CN1300838C CN1300838C CNB2004100396611A CN200410039661A CN1300838C CN 1300838 C CN1300838 C CN 1300838C CN B2004100396611 A CNB2004100396611 A CN B2004100396611A CN 200410039661 A CN200410039661 A CN 200410039661A CN 1300838 C CN1300838 C CN 1300838C
- Authority
- CN
- China
- Prior art keywords
- circuit
- design
- black box
- mistake
- simulation
- Prior art date
- Legal status (The legal status 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 status listed.)
- Expired - Lifetime
Links
- 238000000034 method Methods 0.000 title claims abstract description 95
- 238000013461 design Methods 0.000 title claims abstract description 94
- 238000003745 diagnosis Methods 0.000 title claims abstract description 23
- 238000004088 simulation Methods 0.000 claims abstract description 53
- 238000012360 testing method Methods 0.000 claims abstract description 29
- 238000012795 verification Methods 0.000 claims abstract description 22
- 238000004422 calculation algorithm Methods 0.000 claims abstract description 21
- 239000013598 vector Substances 0.000 claims description 33
- 230000004044 response Effects 0.000 claims description 23
- 238000012217 deletion Methods 0.000 claims description 9
- 230000037430 deletion Effects 0.000 claims description 9
- 238000001514 detection method Methods 0.000 claims description 7
- 230000005284 excitation Effects 0.000 claims description 4
- 238000012942 design verification Methods 0.000 abstract description 11
- 230000008569 process Effects 0.000 abstract description 7
- 230000003014 reinforcing effect Effects 0.000 abstract 1
- 230000006870 function Effects 0.000 description 22
- 230000000052 comparative effect Effects 0.000 description 5
- 238000013459 approach Methods 0.000 description 4
- 238000013517 stratification Methods 0.000 description 4
- 238000004364 calculation method Methods 0.000 description 3
- 238000010586 diagram Methods 0.000 description 3
- 230000000694 effects Effects 0.000 description 3
- 238000002474 experimental method Methods 0.000 description 2
- 239000012467 final product Substances 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 238000010200 validation analysis Methods 0.000 description 2
- 101100001678 Emericella variicolor andM gene Proteins 0.000 description 1
- 230000015572 biosynthetic process Effects 0.000 description 1
- 230000000295 complement effect Effects 0.000 description 1
- 238000006073 displacement reaction Methods 0.000 description 1
- 230000002708 enhancing effect Effects 0.000 description 1
- XDDAORKBJWWYJS-UHFFFAOYSA-N glyphosate Chemical compound OC(=O)CNCP(O)(O)=O XDDAORKBJWWYJS-UHFFFAOYSA-N 0.000 description 1
- 238000012216 screening Methods 0.000 description 1
- 239000002699 waste material Substances 0.000 description 1
Images
Landscapes
- Tests Of Electronic Circuits (AREA)
Abstract
Description
W | W1 | W2 |
01X | 011 | 101 |
运算类型 | W1 | W2 |
与或非 | A1&B1A1|B1A2 | A2|B2A2&B2A1 |
Claims (4)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CNB2004100396611A CN1300838C (zh) | 2004-03-12 | 2004-03-12 | 包含黑盒的电路设计验证与错误诊断方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CNB2004100396611A CN1300838C (zh) | 2004-03-12 | 2004-03-12 | 包含黑盒的电路设计验证与错误诊断方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN1560918A CN1560918A (zh) | 2005-01-05 |
CN1300838C true CN1300838C (zh) | 2007-02-14 |
Family
ID=34441319
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CNB2004100396611A Expired - Lifetime CN1300838C (zh) | 2004-03-12 | 2004-03-12 | 包含黑盒的电路设计验证与错误诊断方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN1300838C (zh) |
Families Citing this family (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101527010B (zh) * | 2008-03-06 | 2011-12-07 | 上海理工大学 | 人工神经网络算法的硬件实现方法及其系统 |
CN103399982A (zh) * | 2013-07-04 | 2013-11-20 | 北京航空航天大学 | 一种数字硬件电路逻辑错误诊断机制 |
US11449575B2 (en) * | 2017-07-19 | 2022-09-20 | National University Corporation Yokohama National University | Solution search device and program for a Boolean satisfaiablity problem |
CN112364582A (zh) * | 2020-11-30 | 2021-02-12 | 国微集团(深圳)有限公司 | 一种用于三态门电路验证的改进方法、系统及装置 |
CN112836456B (zh) * | 2021-02-24 | 2022-11-15 | 南开大学 | 一种基于sat的电路错误诊断方法 |
EP4343611A1 (en) * | 2021-06-28 | 2024-03-27 | Huawei Technologies Co., Ltd. | Circuit verification method and apparatus based on automatic test pattern generation |
CN115062566B (zh) * | 2022-06-21 | 2023-06-27 | 深圳国微芯科技有限公司 | 含有x值的电路的简化方法、验证方法、存储介质 |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH11134371A (ja) * | 1997-10-28 | 1999-05-21 | Nec Corp | 並列論理シミュレーション方法および記録媒体 |
US6026222A (en) * | 1997-12-23 | 2000-02-15 | Nec Usa, Inc. | System for combinational equivalence checking |
US6247164B1 (en) * | 1997-08-28 | 2001-06-12 | Nec Usa, Inc. | Configurable hardware system implementing Boolean Satisfiability and method thereof |
US6496961B2 (en) * | 2000-10-27 | 2002-12-17 | Nec Usa, Inc. | Dynamic detection and removal of inactive clauses in SAT with application in image computation |
US6651234B2 (en) * | 2001-04-06 | 2003-11-18 | Nec Corporation | Partition-based decision heuristics for SAT and image computation using SAT and BDDs |
-
2004
- 2004-03-12 CN CNB2004100396611A patent/CN1300838C/zh not_active Expired - Lifetime
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6247164B1 (en) * | 1997-08-28 | 2001-06-12 | Nec Usa, Inc. | Configurable hardware system implementing Boolean Satisfiability and method thereof |
JPH11134371A (ja) * | 1997-10-28 | 1999-05-21 | Nec Corp | 並列論理シミュレーション方法および記録媒体 |
US6026222A (en) * | 1997-12-23 | 2000-02-15 | Nec Usa, Inc. | System for combinational equivalence checking |
US6496961B2 (en) * | 2000-10-27 | 2002-12-17 | Nec Usa, Inc. | Dynamic detection and removal of inactive clauses in SAT with application in image computation |
US6651234B2 (en) * | 2001-04-06 | 2003-11-18 | Nec Corporation | Partition-based decision heuristics for SAT and image computation using SAT and BDDs |
Also Published As
Publication number | Publication date |
---|---|
CN1560918A (zh) | 2005-01-05 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Mishchenko et al. | Improvements to combinational equivalence checking | |
US20080127009A1 (en) | Method, system and computer program for automated hardware design debugging | |
CN100337212C (zh) | 逻辑验证系统及方法 | |
US9069699B2 (en) | Identifying inconsistent constraints | |
US8302044B2 (en) | Abstraction-based livelock/deadlock checking for hardware verification | |
US10592624B2 (en) | Efficient mechanism of fault qualification using formal verification | |
CN1693918A (zh) | 检查物理系统模型的鲁棒性 | |
CN1534764A (zh) | 集成电路设计整合方法及其应用的组件、交易方法与产品 | |
US8762907B2 (en) | Hierarchical equivalence checking and efficient handling of equivalence checks when engineering change orders are in an unsharable register transfer level | |
CN103150441A (zh) | 一种软硬件协同仿真的验证平台及其构建方法 | |
CN1300838C (zh) | 包含黑盒的电路设计验证与错误诊断方法 | |
CN1539113A (zh) | 层次集成电路设计和分析系统中对子模块设计的表达 | |
CN108897652B (zh) | 一种基于rtl级功耗分析的错误定位方法及系统 | |
Gaber et al. | Improved automatic correction for digital VLSI circuits | |
US20190065660A1 (en) | Identifying root cause of layout versus schematic errors | |
US10268556B2 (en) | System and method for simulation results analysis and failures debug using a descriptive tracking header | |
US7890902B1 (en) | Methods and apparatus for merging coverage for multiple verification and design scenarios | |
US10755012B2 (en) | System and method for generating a functional simulations progress report | |
Borrione et al. | On-line assertion-based verification with proven correct monitors | |
Safarpour et al. | Automated design debugging with abstraction and refinement | |
Tong et al. | Test compaction techniques for assertion-based test generation | |
zu Bexten et al. | Physical verification flow for hierarchical analog ic design constraints | |
US10769332B2 (en) | Automatic simulation failures analysis flow for functional verification | |
US11295051B2 (en) | System and method for interactively controlling the course of a functional simulation | |
Vasudevan et al. | Sequential equivalence checking between system level and rtl descriptions |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
CB03 | Change of inventor or designer information |
Inventor after: Li Xiaowei Inventor after: Li Guanghui Inventor before: Li Guanghui Inventor before: Li Xiaowei |
|
CB03 | Change of inventor or designer information | ||
EE01 | Entry into force of recordation of patent licensing contract |
Application publication date: 20050105 Assignee: Zhongke Jianxin (Beijing) Technology Co.,Ltd. Assignor: Institute of Computing Technology, Chinese Academy of Sciences Contract record no.: X2022990000752 Denomination of invention: Circuit Design Verification and Error Diagnosis with Black Box Granted publication date: 20070214 License type: Exclusive License Record date: 20221009 |
|
EE01 | Entry into force of recordation of patent licensing contract | ||
CX01 | Expiry of patent term |
Granted publication date: 20070214 |
|
CX01 | Expiry of patent term |