TWI801202B - 電路驗證方法 - Google Patents
電路驗證方法 Download PDFInfo
- Publication number
- TWI801202B TWI801202B TW111114125A TW111114125A TWI801202B TW I801202 B TWI801202 B TW I801202B TW 111114125 A TW111114125 A TW 111114125A TW 111114125 A TW111114125 A TW 111114125A TW I801202 B TWI801202 B TW I801202B
- Authority
- TW
- Taiwan
- Prior art keywords
- verification method
- circuit verification
- circuit
- verification
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; 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
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; 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 OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2119/00—Details relating to the type or aim of the analysis or the optimisation
- G06F2119/02—Reliability analysis or reliability optimisation; Failure analysis, e.g. worst case scenario performance, failure mode and effects analysis [FMEA]
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/20—Design optimisation, verification or simulation
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; 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/3308—Design verification, e.g. functional simulation or model checking using simulation
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/36—Circuit design at the analogue level
- G06F30/367—Design verification, e.g. using simulation, simulation program with integrated circuit emphasis [SPICE], direct methods or relaxation methods
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/39—Circuit design at the physical level
- G06F30/398—Design verification or optimisation, e.g. using design rule check [DRC], layout versus schematics [LVS] or finite element methods [FEM]
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)
- Tests Of Electronic Circuits (AREA)
- Logic Circuits (AREA)
Priority Applications (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| TW111114125A TWI801202B (zh) | 2022-04-13 | 2022-04-13 | 電路驗證方法 |
| US18/059,961 US12488168B2 (en) | 2022-04-13 | 2022-11-29 | Circuit verification method |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| TW111114125A TWI801202B (zh) | 2022-04-13 | 2022-04-13 | 電路驗證方法 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| TWI801202B true TWI801202B (zh) | 2023-05-01 |
| TW202340999A TW202340999A (zh) | 2023-10-16 |
Family
ID=87424256
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| TW111114125A TWI801202B (zh) | 2022-04-13 | 2022-04-13 | 電路驗證方法 |
Country Status (2)
| Country | Link |
|---|---|
| US (1) | US12488168B2 (zh) |
| TW (1) | TWI801202B (zh) |
Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20120198399A1 (en) * | 2011-01-31 | 2012-08-02 | Sean Arash Safarpour | System, method and computer program for determining fixed value, fixed time, and stimulus hardware diagnosis |
| TW202034454A (zh) * | 2019-03-06 | 2020-09-16 | 瑞昱半導體股份有限公司 | 電路設計方法及相關的電腦程式產品 |
| TW202117574A (zh) * | 2019-10-18 | 2021-05-01 | 台灣積體電路製造股份有限公司 | 基於佈局環境的單元時序特徵分析 |
| CN113988438A (zh) * | 2021-11-01 | 2022-01-28 | 深圳市卡博尔科技有限公司 | 一种基于ic载板生产流程的自检方法及系统 |
Family Cites Families (10)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP3842489B2 (ja) * | 1999-06-30 | 2006-11-08 | 株式会社東芝 | 回路設計装置、回路設計方法および回路設計プログラムを格納したコンピュータ読み取り可能な記録媒体 |
| JP2002082830A (ja) * | 2000-02-14 | 2002-03-22 | Mitsubishi Electric Corp | インターフェイス回路 |
| JP2012083954A (ja) * | 2010-10-12 | 2012-04-26 | Fujitsu Ltd | 回路設計支援装置、回路設計支援装置の制御方法および回路設計支援装置の制御プログラム |
| TWI464569B (zh) * | 2012-11-06 | 2014-12-11 | Upi Semiconductor Corp | 電壓識別碼參考電壓產生電路與其開機電壓產生方法 |
| WO2016161186A1 (en) * | 2015-03-31 | 2016-10-06 | Lutron Electronics Co., Inc. | Load control device having stuck relay detection |
| JP6880403B2 (ja) * | 2017-05-24 | 2021-06-02 | 富士通株式会社 | 半導体装置の設計検証支援装置、半導体装置の設計検証支援プログラム及び半導体装置の設計検証支援方法 |
| TWI620873B (zh) * | 2017-08-02 | 2018-04-11 | 新唐科技股份有限公司 | 風扇偵測方法、風扇偵測晶片及風扇偵測系統 |
| CN108845558B (zh) * | 2018-05-03 | 2020-07-03 | 上海兆芯集成电路有限公司 | 检测控制装置 |
| CN112783817B (zh) * | 2021-01-29 | 2024-01-05 | 上海联影医疗科技股份有限公司 | 设备接入检测装置、PCIe路由卡、系统、控制方法及介质 |
| WO2022198630A1 (zh) * | 2021-03-26 | 2022-09-29 | 华为技术有限公司 | 信号转接控制方法、信号转接装置、测试系统及平台 |
-
2022
- 2022-04-13 TW TW111114125A patent/TWI801202B/zh active
- 2022-11-29 US US18/059,961 patent/US12488168B2/en active Active
Patent Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20120198399A1 (en) * | 2011-01-31 | 2012-08-02 | Sean Arash Safarpour | System, method and computer program for determining fixed value, fixed time, and stimulus hardware diagnosis |
| TW202034454A (zh) * | 2019-03-06 | 2020-09-16 | 瑞昱半導體股份有限公司 | 電路設計方法及相關的電腦程式產品 |
| TW202117574A (zh) * | 2019-10-18 | 2021-05-01 | 台灣積體電路製造股份有限公司 | 基於佈局環境的單元時序特徵分析 |
| CN113988438A (zh) * | 2021-11-01 | 2022-01-28 | 深圳市卡博尔科技有限公司 | 一种基于ic载板生产流程的自检方法及系统 |
Also Published As
| Publication number | Publication date |
|---|---|
| TW202340999A (zh) | 2023-10-16 |
| US20230334209A1 (en) | 2023-10-19 |
| US12488168B2 (en) | 2025-12-02 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| TWI799796B (zh) | 積體電路和製造積體電路的方法 | |
| EP3973421A4 (en) | System and method for electronic claim verification | |
| EP4025020A4 (en) | METHOD OF MAKING AN ASYMMETRIC PLATE | |
| EP4031258A4 (en) | TARGET SUPPORT PROCEDURES FOR ELECTRONIC GAMES | |
| EP4145621A4 (en) | PRINTED CIRCUIT BOARD AND METHOD FOR PRODUCING A PRINTED CIRCUIT BOARD | |
| EP3975241A4 (en) | Method for manufacturing wiring board | |
| EP4006880A4 (en) | METHOD FOR SIMULATING AN ELECTRICAL CIRCUIT, SYSTEM FOR IMPLEMENTING IT AND SIMULATION COMPONENT | |
| EP3914425A4 (en) | METHOD AND DEVICE FOR PRODUCTION LINE SIMULATION | |
| TWI801202B (zh) | 電路驗證方法 | |
| EP4069495A4 (en) | METHOD AND APPARATUS FOR MANUFACTURING AN OBJECT | |
| EP3996474A4 (en) | CIRCUIT BOARD, METHOD OF MAKING A CIRCUIT BOARD AND ELECTRONIC DEVICE | |
| EP4002411A4 (en) | ELECTRONIC COMPONENT AND ITS MANUFACTURING METHOD | |
| CA3248256A1 (en) | PROCESS | |
| CA3249109A1 (en) | AUTHENTICATION CIRCUIT | |
| EP4362614A4 (en) | PRINTED CIRCUIT BOARD MANUFACTURING PROCESS | |
| EP4017226A4 (en) | EMBEDDED CIRCUIT BOARD AND METHOD OF MAKING AN EMBEDDED CIRCUIT BOARD | |
| EP4398512A4 (en) | METHOD FOR AUTHENTICATION OF AN ELECTRONIC PART AS WELL AS TERMINAL DEVICE AND ELECTRONIC PART | |
| EP4124184A4 (en) | LAMINATE, CERAMIC-COPPER CIRCUIT BOARD, METHOD FOR PRODUCING A LAMINATE AND METHOD FOR PRODUCING A CERAMIC-COPPER CIRCUIT BOARD | |
| EP3944727A4 (en) | CIRCUIT BOARD AND PROCESS OF MAKING THE CIRCUIT BOARD | |
| EP4099365A4 (en) | ETCHING PROCESS | |
| EP4181636A4 (en) | PRINTED CIRCUIT BOARD AND METHOD FOR MANUFACTURING SAME | |
| EP4002410A4 (en) | ELECTRONIC COMPONENT AND PRODUCTION METHOD THEREOF | |
| CA3290058A1 (en) | Method | |
| CA3291064A1 (en) | Method | |
| CA3236770A1 (en) | Picture-hanging method |