WO2001035283A3 - System for performing parallel circuit simulation in a high level description language - Google Patents
System for performing parallel circuit simulation in a high level description language Download PDFInfo
- Publication number
- WO2001035283A3 WO2001035283A3 PCT/CA2000/001342 CA0001342W WO0135283A3 WO 2001035283 A3 WO2001035283 A3 WO 2001035283A3 CA 0001342 W CA0001342 W CA 0001342W WO 0135283 A3 WO0135283 A3 WO 0135283A3
- Authority
- WO
- WIPO (PCT)
- Prior art keywords
- hdl
- sub
- simulation
- test bench
- block
- 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
Abstract
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
AU13754/01A AU1375401A (en) | 1999-11-10 | 2000-11-10 | System for performing parallel circuit simulation in a high level description language |
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US43775199A | 1999-11-10 | 1999-11-10 | |
US09/437,751 | 1999-11-10 |
Publications (2)
Publication Number | Publication Date |
---|---|
WO2001035283A2 WO2001035283A2 (en) | 2001-05-17 |
WO2001035283A3 true WO2001035283A3 (en) | 2002-05-30 |
Family
ID=23737732
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
PCT/CA2000/001342 WO2001035283A2 (en) | 1999-11-10 | 2000-11-10 | System for performing parallel circuit simulation in a high level description language |
Country Status (2)
Country | Link |
---|---|
AU (1) | AU1375401A (en) |
WO (1) | WO2001035283A2 (en) |
Families Citing this family (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
GB2364798B (en) * | 1999-12-03 | 2004-04-28 | Sgs Thomson Microelectronics | A processing method |
JP2003179678A (en) | 2001-10-03 | 2003-06-27 | Nec Corp | Portable telephone |
CN100395758C (en) * | 2002-10-14 | 2008-06-18 | 英业达股份有限公司 | Method for setting and activating group display of circuit distribution engineering |
GB0322050D0 (en) | 2003-09-20 | 2003-10-22 | Spiratech Ltd | Modelling and simulation method |
EP2257874A4 (en) * | 2008-03-27 | 2013-07-17 | Rocketick Technologies Ltd | Design simulation using parallel processors |
US9032377B2 (en) | 2008-07-10 | 2015-05-12 | Rocketick Technologies Ltd. | Efficient parallel computation of dependency problems |
US8738350B2 (en) * | 2010-03-04 | 2014-05-27 | Synopsys, Inc. | Mixed concurrent and serial logic simulation of hardware designs |
US9128748B2 (en) | 2011-04-12 | 2015-09-08 | Rocketick Technologies Ltd. | Parallel simulation using multiple co-simulators |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5649164A (en) * | 1994-12-30 | 1997-07-15 | International Business Machines Corporation | Sets and holds in virtual time logic simulation for parallel processors |
US5805867A (en) * | 1994-04-06 | 1998-09-08 | Fujitsu Limited | Multi-processor simulation apparatus and method |
US5905883A (en) * | 1996-04-15 | 1999-05-18 | Sun Microsystems, Inc. | Verification system for circuit simulator |
-
2000
- 2000-11-10 AU AU13754/01A patent/AU1375401A/en not_active Abandoned
- 2000-11-10 WO PCT/CA2000/001342 patent/WO2001035283A2/en active Application Filing
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5805867A (en) * | 1994-04-06 | 1998-09-08 | Fujitsu Limited | Multi-processor simulation apparatus and method |
US5649164A (en) * | 1994-12-30 | 1997-07-15 | International Business Machines Corporation | Sets and holds in virtual time logic simulation for parallel processors |
US5905883A (en) * | 1996-04-15 | 1999-05-18 | Sun Microsystems, Inc. | Verification system for circuit simulator |
Non-Patent Citations (1)
Title |
---|
KOCH M ET AL: "Distributed VHDL simulation within a workstation cluster", SYSTEM SCIENCES, 1994. VOL.II: SOFTWARE TECHNOLOGY, PROCEEDINGS OF THE TWENTY-SEVENTH HAWAII INTERNATIONAL CONFERENCE ON WAILEA, HI, USA 4-7 JAN. 1994, LOS ALAMITOS, CA, USA,IEEE COMPUT. SOC, 4 January 1994 (1994-01-04), pages 313 - 322, XP010096998, ISBN: 0-8186-5060-5 * |
Also Published As
Publication number | Publication date |
---|---|
AU1375401A (en) | 2001-06-06 |
WO2001035283A2 (en) | 2001-05-17 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8812286B1 (en) | Emulation of power shutoff behavior for integrated circuits | |
CA2516347C (en) | Hdl co-simulation in a high-level modeling system | |
KR100491461B1 (en) | METHOD AND APPARATUS FOR SoC DESIGN VALIDATION | |
CN102866349B (en) | Integrated circuit testing method | |
US7725744B2 (en) | Method and apparatus to generate circuit energy models with multiple clock gating inputs | |
Villar et al. | Python as a hardware description language: A case study | |
WO2001035283A3 (en) | System for performing parallel circuit simulation in a high level description language | |
Ahuja et al. | Power estimation methodology for a high-level synthesis framework | |
Cheng et al. | A run-time RTL debugging methodology for FPGA-based co-simulation | |
US7991604B2 (en) | Method and apparatus for indirectly simulating a semiconductor integrated circuit | |
Kim et al. | How to automate millions lines of top-level uvm testbench and handle huge register classes | |
Yang et al. | A new RTL debugging methodology in FPGA-based verification platform | |
US10621296B1 (en) | Generating SAIF efficiently from hardware platforms | |
Ghodrat et al. | Accelerating system-on-chip power analysis using hybrid power estimation | |
CN105046014A (en) | AMS based asynchronous sequential circuit design method | |
Venkataramani et al. | Model-based hardware design | |
CN114282464A (en) | Collaborative simulation method in chip simulation verification and application | |
Aubury et al. | Advanced silicon prototyping in a reconfigurable environment | |
Wenwei et al. | Study on a mixed verification strategy for IP-based soc design | |
KR20080096723A (en) | Distributed parallel simulation method based on adaptive synchronization/communication scheme | |
Vyagrheswarudu et al. | PowerAdviser: An RTL power platform for interactive sequential optimizations | |
TW200641645A (en) | Verilog HDL simulation model for retain time | |
Jerinić et al. | Safe integration of parameterized IP | |
Trost et al. | Logic emulators in digital systems education | |
Ramaswamy et al. | The integration of systemc and hardware-assisted verification |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
AK | Designated states |
Kind code of ref document: A2 Designated state(s): AE AG AL AM AT AU AZ BA BB BG BR BY BZ CA CH CN CR CU CZ DE DK DM DZ EE ES FI GB GD GE GH GM HR HU ID IL IN IS JP KE KG KP KR KZ LC LK LR LS LT LU LV MA MD MG MK MN MW MX MZ NO NZ PL PT RO RU SD SE SG SI SK SL TJ TM TR TT TZ UA UG US UZ VN YU ZA ZW |
|
AL | Designated countries for regional patents |
Kind code of ref document: A2 Designated state(s): GH GM KE LS MW MZ SD SL SZ TZ UG ZW AM AZ BY KG KZ MD RU TJ TM AT BE CH CY DE DK ES FI FR GB GR IE IT LU MC NL PT SE TR BF BJ CF CG CI CM GA GN GW ML MR NE SN TD TG |
|
121 | Ep: the epo has been informed by wipo that ep was designated in this application | ||
DFPE | Request for preliminary examination filed prior to expiration of 19th month from priority date (pct application filed before 20040101) | ||
AK | Designated states |
Kind code of ref document: A3 Designated state(s): AE AG AL AM AT AU AZ BA BB BG BR BY BZ CA CH CN CR CU CZ DE DK DM DZ EE ES FI GB GD GE GH GM HR HU ID IL IN IS JP KE KG KP KR KZ LC LK LR LS LT LU LV MA MD MG MK MN MW MX MZ NO NZ PL PT RO RU SD SE SG SI SK SL TJ TM TR TT TZ UA UG US UZ VN YU ZA ZW |
|
AL | Designated countries for regional patents |
Kind code of ref document: A3 Designated state(s): GH GM KE LS MW MZ SD SL SZ TZ UG ZW AM AZ BY KG KZ MD RU TJ TM AT BE CH CY DE DK ES FI FR GB GR IE IT LU MC NL PT SE TR BF BJ CF CG CI CM GA GN GW ML MR NE SN TD TG |
|
REG | Reference to national code |
Ref country code: DE Ref legal event code: 8642 |
|
122 | Ep: pct application non-entry in european phase |