AU2003274453A1 - System and method for functional verification of an electronic integrated circuit design - Google Patents

System and method for functional verification of an electronic integrated circuit design

Info

Publication number
AU2003274453A1
AU2003274453A1 AU2003274453A AU2003274453A AU2003274453A1 AU 2003274453 A1 AU2003274453 A1 AU 2003274453A1 AU 2003274453 A AU2003274453 A AU 2003274453A AU 2003274453 A AU2003274453 A AU 2003274453A AU 2003274453 A1 AU2003274453 A1 AU 2003274453A1
Authority
AU
Australia
Prior art keywords
integrated circuit
circuit design
electronic integrated
functional verification
verification
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.)
Abandoned
Application number
AU2003274453A
Inventor
Soren Kragh
Asger Munk Nielsen
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
ATINEC APS
Original Assignee
ATINEC APS
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by ATINEC APS filed Critical ATINEC APS
Publication of AU2003274453A1 publication Critical patent/AU2003274453A1/en
Abandoned legal-status Critical Current

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)
  • Test And Diagnosis Of Digital Computers (AREA)
AU2003274453A 2003-10-28 2003-10-28 System and method for functional verification of an electronic integrated circuit design Abandoned AU2003274453A1 (en)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
PCT/IB2003/004762 WO2005041074A1 (en) 2003-10-28 2003-10-28 System and method for functional verification of an electronic integrated circuit design

Publications (1)

Publication Number Publication Date
AU2003274453A1 true AU2003274453A1 (en) 2005-05-11

Family

ID=34509321

Family Applications (1)

Application Number Title Priority Date Filing Date
AU2003274453A Abandoned AU2003274453A1 (en) 2003-10-28 2003-10-28 System and method for functional verification of an electronic integrated circuit design

Country Status (2)

Country Link
AU (1) AU2003274453A1 (en)
WO (1) WO2005041074A1 (en)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7788658B2 (en) 2006-05-31 2010-08-31 International Business Machines Corporation Computer code partitioning for enhanced performance

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5572437A (en) * 1990-04-06 1996-11-05 Lsi Logic Corporation Method and system for creating and verifying structural logic model of electronic design from behavioral description, including generation of logic and timing models
US5544067A (en) * 1990-04-06 1996-08-06 Lsi Logic Corporation Method and system for creating, deriving and validating structural description of electronic system from higher level, behavior-oriented description, including interactive schematic design and simulation
US5491640A (en) * 1992-05-01 1996-02-13 Vlsi Technology, Inc. Method and apparatus for synthesizing datapaths for integrated circuit design and fabrication

Also Published As

Publication number Publication date
WO2005041074A1 (en) 2005-05-06

Similar Documents

Publication Publication Date Title
EP1854128A4 (en) Method of integrating optical devices and electronic devices on an integrated circuit
AU2003223115A1 (en) Electronic component mounting apparatus and electronic component mounting method
AU2003258072A1 (en) Methods and apparatus for facilitating physical synthesis of an integrated circuit design
AU2003254227A1 (en) Integrated circuit devices and methods and apparatuses for designing integrated circuit devices
HK1102272A1 (en) System and method of operation control on an electronic device
GB2403351B (en) Method and system for cooling electronic components
EP1547780A4 (en) Method and device for positioning electronic components
AU2003286419A1 (en) Electronic parts mounting apparatus and method
AU2003261430A1 (en) System and method for modifying electronic design data
AU2003223746A1 (en) Apparatus and method for managing integrated circuit designs
AU2003302532A1 (en) System and method for automated electronic device design
AU2003225792A1 (en) Integrated circuit device and method therefor
EP1683007A4 (en) Method and apparatus for accelerating the verification of application specific integrated circuit designs
EP1476006A4 (en) Electronic part mounting device and method
AU2003258396A1 (en) System and method for integrated circuit design
HK1083899A1 (en) An electronic system and method
GB2387565B (en) An apparatus and method for protecting an electronic circuit
AU2003273518A1 (en) Electronic card system and method
AU2003214524A1 (en) Method of manufacturing an electronic device
EP1839219A4 (en) System and method for configuring an integrated circuit
AU2003285675A1 (en) Circuit arrangement and method for protecting electronic components against illicit manipulation
AU2003232174A1 (en) Method and system for secure electronic transactions using an agent
AU2002302563A1 (en) Electronic system and method for booting of an electronic system
AU2003221838A1 (en) Method and apparatus for routing an integrated circuit
AU2003274453A1 (en) System and method for functional verification of an electronic integrated circuit design

Legal Events

Date Code Title Description
MK6 Application lapsed section 142(2)(f)/reg. 8.3(3) - pct applic. not entering national phase