CN114004182A - 二元决策图的构造方法、等价性验证方法、存储介质 - Google Patents
二元决策图的构造方法、等价性验证方法、存储介质 Download PDFInfo
- Publication number
- CN114004182A CN114004182A CN202111257397.9A CN202111257397A CN114004182A CN 114004182 A CN114004182 A CN 114004182A CN 202111257397 A CN202111257397 A CN 202111257397A CN 114004182 A CN114004182 A CN 114004182A
- Authority
- CN
- China
- Prior art keywords
- binary decision
- decision diagram
- net
- cone
- iterative process
- 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.)
- Pending
Links
Images
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
- G06F30/3323—Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
- G06F16/22—Indexing; Data structures therefor; Storage structures
- G06F16/2228—Indexing structures
- G06F16/2255—Hash tables
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
- G06F16/24—Querying
- G06F16/245—Query processing
- G06F16/2455—Query execution
- G06F16/24553—Query execution of query operations
- G06F16/24558—Binary matching operations
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Databases & Information Systems (AREA)
- Data Mining & Analysis (AREA)
- Computer Hardware Design (AREA)
- Software Systems (AREA)
- Computational Linguistics (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
Description
Claims (8)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202111257397.9A CN114004182A (zh) | 2021-10-27 | 2021-10-27 | 二元决策图的构造方法、等价性验证方法、存储介质 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202111257397.9A CN114004182A (zh) | 2021-10-27 | 2021-10-27 | 二元决策图的构造方法、等价性验证方法、存储介质 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN114004182A true CN114004182A (zh) | 2022-02-01 |
Family
ID=79924400
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202111257397.9A Pending CN114004182A (zh) | 2021-10-27 | 2021-10-27 | 二元决策图的构造方法、等价性验证方法、存储介质 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN114004182A (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN116822422A (zh) * | 2023-08-31 | 2023-09-29 | 芯行纪科技有限公司 | 数字逻辑电路的分析优化方法及相关设备 |
-
2021
- 2021-10-27 CN CN202111257397.9A patent/CN114004182A/zh active Pending
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN116822422A (zh) * | 2023-08-31 | 2023-09-29 | 芯行纪科技有限公司 | 数字逻辑电路的分析优化方法及相关设备 |
CN116822422B (zh) * | 2023-08-31 | 2023-11-07 | 芯行纪科技有限公司 | 数字逻辑电路的分析优化方法及相关设备 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US5243538A (en) | Comparison and verification system for logic circuits and method thereof | |
US6075932A (en) | Method and apparatus for estimating internal power consumption of an electronic circuit represented as netlist | |
US8719752B1 (en) | Hierarchical crosstalk noise analysis model generation | |
CN111914500B (zh) | 一种快速单磁通量子rsfq电路布局方法和装置 | |
US8589837B1 (en) | Constructing inductive counterexamples in a multi-algorithm verification framework | |
Mishchenko | Fast computation of symmetries in Boolean functions | |
US20030229871A1 (en) | Method of generating timing constraint model of logic circuit, program for generating timing constraint model of logic circuit, and timing-driven layout method of using the timing constraint model | |
CN113343615B (zh) | 基于fpga的原型验证方法与编码装置 | |
CN114004182A (zh) | 二元决策图的构造方法、等价性验证方法、存储介质 | |
Manne et al. | Computing the maximum power cycles of a sequential circuit | |
CN111400169B (zh) | 一种自动化生成用于测试软硬件的网表文件的方法及系统 | |
JPH06274568A (ja) | 階層図形データの展開方法 | |
US10360342B2 (en) | Method, system, and storage medium for engineering change order scheme in circuit design | |
US20200285791A1 (en) | Circuit design method and associated computer program product | |
CN110110463B (zh) | 可改善时序的集成电路逻辑连接优化方法、系统及介质 | |
CN104615510B (zh) | 基于可编程器件的双模冗余容错方法 | |
CN114861574A (zh) | 一种应用于层次化物理设计的逻辑简化方法 | |
CN107315863B (zh) | 布局优化方法及装置、终端及存储介质 | |
JP5338919B2 (ja) | 集積回路の消費電力算出方法、消費電力算出プログラム及び消費電力算出装置 | |
US10606979B1 (en) | Verifying equivalence of design latency | |
US10049174B2 (en) | Exact delay synthesis | |
Mao et al. | Automated mapping of asynchronous circuits on fpga under timing constraints | |
US10242150B1 (en) | Circuit design implementation using control-set based merging and module-based replication | |
CN112733474B (zh) | 基于与门反相器图的网表级电路面积优化方法及存储介质 | |
Hong et al. | Channel based SoC feedthrough insertion methodology |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
CB03 | Change of inventor or designer information |
Inventor after: Zhao Ran Inventor after: Liu Meihua Inventor after: Zhang Yan Inventor after: Huang Guoyong Inventor after: Jin Yufeng Inventor after: Bai Geng Inventor before: Zhao Ran Inventor before: Liu Meihua Inventor before: Zhang Yan Inventor before: Huang Guoyong Inventor before: Jin Yufeng |
|
CB03 | Change of inventor or designer information |