WO2003036523A1 - Simulation method, simulation program, and display method - Google Patents
Simulation method, simulation program, and display method Download PDFInfo
- Publication number
- WO2003036523A1 WO2003036523A1 PCT/JP2001/009321 JP0109321W WO03036523A1 WO 2003036523 A1 WO2003036523 A1 WO 2003036523A1 JP 0109321 W JP0109321 W JP 0109321W WO 03036523 A1 WO03036523 A1 WO 03036523A1
- Authority
- WO
- WIPO (PCT)
- Prior art keywords
- simulation
- processing
- nodes
- circuit
- result
- Prior art date
Links
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
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)
- Design And Manufacture Of Integrated Circuits (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
A simulation method comprising the step of a first processing for carrying out a first simulation using circuit nodes (N1-N14) of an upper-level side layer of hierarchical circuit data as result output nodes and a second processing for carrying out a second simulation under the initial condition equivalent to that of the first simulation of circuit nodes (N15-N17) of the lower-level side layer by using the simulation result stored after the first processing as input/output information on a circuit area including the circuit nodes of the lower-level side layer. The result output nodes where the simulation result is stored are limited to the upper-level side layer, and therefore the amount of data to be stored about the simulation can be reduced. The circuit nodes other than the stored result output nodes can be reproduced by the second processing by using the data on the result of the first processing.
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2003538942A JP3905885B2 (en) | 2001-10-24 | 2001-10-24 | Simulation method, simulation program, and display processing method |
PCT/JP2001/009321 WO2003036523A1 (en) | 2001-10-24 | 2001-10-24 | Simulation method, simulation program, and display method |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2001/009321 WO2003036523A1 (en) | 2001-10-24 | 2001-10-24 | Simulation method, simulation program, and display method |
Publications (1)
Publication Number | Publication Date |
---|---|
WO2003036523A1 true WO2003036523A1 (en) | 2003-05-01 |
Family
ID=11737861
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
PCT/JP2001/009321 WO2003036523A1 (en) | 2001-10-24 | 2001-10-24 | Simulation method, simulation program, and display method |
Country Status (2)
Country | Link |
---|---|
JP (1) | JP3905885B2 (en) |
WO (1) | WO2003036523A1 (en) |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2007041839A (en) * | 2005-08-03 | 2007-02-15 | Renesas Technology Corp | Simulation method |
JP2007213274A (en) * | 2006-02-09 | 2007-08-23 | Renesas Technology Corp | Simulation method and simulation program |
JP2007528553A (en) * | 2004-03-09 | 2007-10-11 | セヤン ヤン | DYNAMIC VERIFICATION FOR IMPROVING VERIFICATION PERFORMANCE AND VERIFICATION EFFICIENCY-A verification method based on a basic method and a verification methodology using the same |
JP2015215736A (en) * | 2014-05-09 | 2015-12-03 | トヨタ自動車株式会社 | Simulation device |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0561933A (en) * | 1991-09-04 | 1993-03-12 | Hokuriku Nippon Denki Software Kk | Logical inspecting device |
JPH09160960A (en) * | 1995-12-14 | 1997-06-20 | Kawasaki Steel Corp | Method and device for displaying logical simulation result for semiconductor integrated circuit |
JPH09265489A (en) * | 1996-03-29 | 1997-10-07 | Fujitsu Ltd | Simulation processing method |
JPH10254914A (en) * | 1997-03-07 | 1998-09-25 | Mitsubishi Electric Corp | Logic simulated result analyzer |
JPH10293772A (en) * | 1997-04-18 | 1998-11-04 | Hitachi Ltd | Logic simulation device |
-
2001
- 2001-10-24 JP JP2003538942A patent/JP3905885B2/en not_active Expired - Fee Related
- 2001-10-24 WO PCT/JP2001/009321 patent/WO2003036523A1/en active Application Filing
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0561933A (en) * | 1991-09-04 | 1993-03-12 | Hokuriku Nippon Denki Software Kk | Logical inspecting device |
JPH09160960A (en) * | 1995-12-14 | 1997-06-20 | Kawasaki Steel Corp | Method and device for displaying logical simulation result for semiconductor integrated circuit |
JPH09265489A (en) * | 1996-03-29 | 1997-10-07 | Fujitsu Ltd | Simulation processing method |
JPH10254914A (en) * | 1997-03-07 | 1998-09-25 | Mitsubishi Electric Corp | Logic simulated result analyzer |
JPH10293772A (en) * | 1997-04-18 | 1998-11-04 | Hitachi Ltd | Logic simulation device |
Cited By (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2007528553A (en) * | 2004-03-09 | 2007-10-11 | セヤン ヤン | DYNAMIC VERIFICATION FOR IMPROVING VERIFICATION PERFORMANCE AND VERIFICATION EFFICIENCY-A verification method based on a basic method and a verification methodology using the same |
JP2007041839A (en) * | 2005-08-03 | 2007-02-15 | Renesas Technology Corp | Simulation method |
JP4554464B2 (en) * | 2005-08-03 | 2010-09-29 | ルネサスエレクトロニクス株式会社 | Simulation device |
JP2007213274A (en) * | 2006-02-09 | 2007-08-23 | Renesas Technology Corp | Simulation method and simulation program |
US7721234B2 (en) | 2006-02-09 | 2010-05-18 | Renesas Technology Corp. | Simulation method and simulation program |
JP2015215736A (en) * | 2014-05-09 | 2015-12-03 | トヨタ自動車株式会社 | Simulation device |
Also Published As
Publication number | Publication date |
---|---|
JP3905885B2 (en) | 2007-04-18 |
JPWO2003036523A1 (en) | 2005-02-17 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Donnay et al. | Substrate noise coupling in mixed-signal ASICs | |
WO2001042964A3 (en) | Method and apparatus for structure prediction based on model curvature | |
WO2005109256A3 (en) | Methos and apparatus for designing integrated circuit layouts | |
WO2006105443A3 (en) | Automated change approval | |
WO2006072082A3 (en) | Clock simulation system and method | |
WO2004090788A3 (en) | System and method for dynamically performing storage operations in a computer network | |
EP0896335A3 (en) | Optical disk, reproduction apparatus, and reproduction method | |
WO2001065371A3 (en) | Method and system for updating an archive of a computer file | |
WO2007050431A3 (en) | Real time prepaid transaction bidding | |
WO2005031510A3 (en) | Table-oriented application development environment | |
WO2004084027A3 (en) | Mixed-level hdl/high-level co-simulation of a circuit design | |
WO2003021375A3 (en) | Technology independent information management | |
WO2002035342A3 (en) | Software development | |
EP0847022A3 (en) | Method for designing an architectural system | |
WO2003036523A1 (en) | Simulation method, simulation program, and display method | |
WO2000049765A3 (en) | Method for countermeasure in an electronic component using a secret key algorithm | |
WO2007107592A3 (en) | Method and device for reducing a polynomial in a binary finite field, in particular for a cryptographic application | |
CN107085532A (en) | Task monitor method and device | |
JP3190514B2 (en) | Layout data generation device and generation method | |
TW346664B (en) | Mixed-mode IC separated spacer structure and process for producing the same | |
US20030125921A1 (en) | Circuit simulation apparatus, circuit simulation method, circuit simulation program, and storage medium storing circuit simulation program | |
ATE315822T1 (en) | EMBEDING ADDITIONAL DATA IN AN INFORMATION SIGNAL | |
DE50000356D1 (en) | METHOD FOR PRODUCING THREE-DIMENSIONAL CIRCUITS | |
WO2001090961A3 (en) | Enhancements to object-oriented electronic circuit design modeling and simulation environment | |
DE69819543D1 (en) | METHOD AND DEVICE FOR PROCESSING A REQUEST ACCORDING TO A BOOLE CONTROL |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
AK | Designated states |
Kind code of ref document: A1 Designated state(s): CN JP KR SG US |
|
AL | Designated countries for regional patents |
Kind code of ref document: A1 Designated state(s): AT BE CH CY DE DK ES FI FR GB GR IE IT LU MC NL PT SE TR |
|
DFPE | Request for preliminary examination filed prior to expiration of 19th month from priority date (pct application filed before 20040101) | ||
121 | Ep: the epo has been informed by wipo that ep was designated in this application | ||
WWE | Wipo information: entry into national phase |
Ref document number: 2003538942 Country of ref document: JP |
|
122 | Ep: pct application non-entry in european phase |