AU2001266660A1 - Method and system for virtual prototyping - Google Patents

Method and system for virtual prototyping

Info

Publication number
AU2001266660A1
AU2001266660A1 AU2001266660A AU6666001A AU2001266660A1 AU 2001266660 A1 AU2001266660 A1 AU 2001266660A1 AU 2001266660 A AU2001266660 A AU 2001266660A AU 6666001 A AU6666001 A AU 6666001A AU 2001266660 A1 AU2001266660 A1 AU 2001266660A1
Authority
AU
Australia
Prior art keywords
virtual prototyping
prototyping
virtual
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
AU2001266660A
Inventor
Stephen L. Bade
Shay Ben-Chorin
Paul Caamano
Marcelo E. Montoreano
Ani Taggu
Filip C. Thoen
Dean C. Wills
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.)
Virtio Corp
Original Assignee
Virtio Corp
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 Virtio Corp filed Critical Virtio Corp
Publication of AU2001266660A1 publication Critical patent/AU2001266660A1/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
    • G06F30/3308—Design verification, e.g. functional simulation or model checking using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2111/00—Details relating to CAD techniques
    • G06F2111/02—CAD in a network environment, e.g. collaborative CAD or distributed simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2115/00—Details relating to the type of the circuit
    • G06F2115/08—Intellectual property [IP] blocks or IP cores
AU2001266660A 2000-06-02 2001-06-01 Method and system for virtual prototyping Abandoned AU2001266660A1 (en)

Applications Claiming Priority (5)

Application Number Priority Date Filing Date Title
US20890000P 2000-06-02 2000-06-02
US60/208,900 2000-06-02
US23017100P 2000-09-01 2000-09-01
US60/230,171 2000-09-01
PCT/US2001/017873 WO2001095161A2 (en) 2000-06-02 2001-06-01 Method and system for virtual prototyping

Publications (1)

Publication Number Publication Date
AU2001266660A1 true AU2001266660A1 (en) 2001-12-17

Family

ID=26903615

Family Applications (1)

Application Number Title Priority Date Filing Date
AU2001266660A Abandoned AU2001266660A1 (en) 2000-06-02 2001-06-01 Method and system for virtual prototyping

Country Status (3)

Country Link
US (2) US7613599B2 (en)
AU (1) AU2001266660A1 (en)
WO (1) WO2001095161A2 (en)

Families Citing this family (247)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6976626B2 (en) 1997-09-16 2005-12-20 Metrologic Instruments, Inc. Wireless bar code symbol driven portable data terminal (PDT) system adapted for single handed operation
US20010032222A1 (en) * 2000-02-08 2001-10-18 Ricoh Company, Ltd. System, method and computer accessible storage medium, for creating and editing structured parts list
WO2002037395A2 (en) * 2000-10-30 2002-05-10 Tririga, Inc. Item specification object management system
JP2002184948A (en) * 2000-12-12 2002-06-28 Hitachi Ltd Method for manufacturing semiconductor integrated circuit device
US7165231B2 (en) * 2000-12-18 2007-01-16 Yardstick Research, Llc Method and system for incremental behavioral validation of digital design expressed in hardware description language
US7200838B2 (en) 2000-12-20 2007-04-03 National Instruments Corporation System and method for automatically generating a graphical program in response to a state diagram
US7131111B2 (en) * 2001-01-19 2006-10-31 Sun Microsystems, Inc. Development of manifest for java embedded server bundle
AU2002240429B2 (en) * 2001-02-22 2007-12-13 Accenture Global Services Limited Distributed development environment for building internet applications by developers at remote locations
US8214501B1 (en) 2001-03-02 2012-07-03 At&T Intellectual Property I, L.P. Methods and systems for electronic data exchange utilizing centralized management technology
WO2002073473A1 (en) * 2001-03-13 2002-09-19 Bombardier Inc. System and method for performing vehicle interior configuration design
US20090254801A1 (en) * 2001-05-14 2009-10-08 The Mathworks, Inc. Model navigation
US7082104B2 (en) * 2001-05-18 2006-07-25 Intel Corporation Network device switch
WO2003010684A1 (en) * 2001-07-26 2003-02-06 Irise, Inc. System and process for gathering, recording and validating requirements for computer applications
US7093224B2 (en) * 2001-08-28 2006-08-15 Intel Corporation Model-based logic design
US7117139B2 (en) * 2001-08-28 2006-10-03 Qiyong Bian Co-simulation verilog/PLI and system C modules using remote procedure call
US6983427B2 (en) * 2001-08-29 2006-01-03 Intel Corporation Generating a logic design
US20030046054A1 (en) * 2001-08-29 2003-03-06 Wheeler William R. Providing modeling instrumentation with an application programming interface to a GUI application
US7073156B2 (en) * 2001-08-29 2006-07-04 Intel Corporation Gate estimation process and method
US20030046051A1 (en) * 2001-08-29 2003-03-06 Wheeler William R. Unified design parameter dependency management method and apparatus
US7130784B2 (en) * 2001-08-29 2006-10-31 Intel Corporation Logic simulation
US6859913B2 (en) * 2001-08-29 2005-02-22 Intel Corporation Representing a simulation model using a hardware configuration database
US7107201B2 (en) * 2001-08-29 2006-09-12 Intel Corporation Simulating a logic design
JP2003068864A (en) * 2001-08-30 2003-03-07 Hitachi Ltd Semiconductor integrated circuit apparatus
US20030078794A1 (en) * 2001-10-23 2003-04-24 Knapp Richard J. System and method for facilitating specifier and supplier communications
US7512931B2 (en) * 2001-11-13 2009-03-31 National Instruments Corporation Graphical program nodes for implementing a measurement state model
US7085703B2 (en) * 2001-11-30 2006-08-01 International Business Machines Corporation Count data access in a distributed simulation environment
US7587695B2 (en) * 2001-12-10 2009-09-08 Mentor Graphics Corporation Protection boundaries in a parallel printed circuit board design environment
US7516435B2 (en) * 2001-12-10 2009-04-07 Mentor Graphics Corporation Reservation of design elements in a parallel printed circuit board design environment
EP1451732A4 (en) * 2001-12-10 2007-08-08 Mentor Graphics Corp Parallel electronic design automation: shared simultaneous editing
US7200545B2 (en) * 2001-12-28 2007-04-03 Testout Corporation System and method for simulating computer network devices for competency training and testing simulations
US7523127B2 (en) * 2002-01-14 2009-04-21 Testout Corporation System and method for a hierarchical database management system for educational training and competency testing simulations
US7197724B2 (en) * 2002-01-17 2007-03-27 Intel Corporation Modeling a logic design
US20030145311A1 (en) * 2002-01-25 2003-07-31 Wheeler William R. Generating simulation code
WO2003073472A2 (en) 2002-02-22 2003-09-04 Flextronics International Usa, Inc. Electronic component design, procurement and manufacturing collaboration
US20030177018A1 (en) * 2002-03-18 2003-09-18 Eastman Kodak Company System for designing virtual prototypes
US7614077B2 (en) * 2002-04-10 2009-11-03 International Business Machines Corporation Persistent access control of protected content
JP4187470B2 (en) * 2002-06-25 2008-11-26 富士通マイクロエレクトロニクス株式会社 Semiconductor device development support cooperation device and development support method
US20040024843A1 (en) * 2002-07-31 2004-02-05 Smith Christopher T. Method for provisioning distributed web applications
EP1530766A2 (en) * 2002-08-21 2005-05-18 Windmill Microsystems Holding B.V. Object-oriented design method for the time-effective and cost-effective development of production-grade embedded systems based on a standardized system architecture
US7797353B1 (en) * 2002-09-13 2010-09-14 Cadence Design Systems, Inc. Method and system for enhancing software documentation and help systems
AU2002952700A0 (en) * 2002-11-18 2002-11-28 Vpisystems Pty Ltd Simulation player
US7451403B1 (en) * 2002-12-20 2008-11-11 Rage Frameworks, Inc. System and method for developing user interfaces purely by modeling as meta data in software application
US7010666B1 (en) * 2003-01-06 2006-03-07 Altera Corporation Methods and apparatus for memory map generation on a programmable chip
JP3951925B2 (en) * 2003-01-31 2007-08-01 セイコーエプソン株式会社 Hardware / software co-verification method
US20040153301A1 (en) * 2003-02-03 2004-08-05 Daniel Isaacs Integrated circuit development methodology
DE10329147A1 (en) * 2003-06-27 2005-01-20 Siemens Ag Linking and displaying signals of a device for hardware simulation and elements of a listing of a program
US7076746B2 (en) 2003-08-04 2006-07-11 Lsi Logic Corporation Method and apparatus for mapping platform-based design to multiple foundry processes
US7051297B2 (en) * 2003-08-04 2006-05-23 Lsi Logic Corporation Method and apparatus for mapping platform-based design to multiple foundry processes
EP1510934A1 (en) * 2003-08-27 2005-03-02 Sony NetServices GmbH Inter-host web log reporting
US7730415B2 (en) 2003-09-05 2010-06-01 Fisher-Rosemount Systems, Inc. State machine function block with a user modifiable state transition configuration database
US20050060228A1 (en) * 2003-09-16 2005-03-17 Katherine Woo Method and system for offering a money-back guarantee in a network-based marketplace
US7305648B2 (en) * 2003-11-21 2007-12-04 Mentor Graphics Corporation Distributed autorouting of conductive paths in printed circuit boards
US7590963B2 (en) 2003-11-21 2009-09-15 Mentor Graphics Corporation Integrating multiple electronic design applications
US20050144588A1 (en) * 2003-12-30 2005-06-30 Intel Corporation System and method for embedded processor firmware development
KR100536293B1 (en) * 2004-02-17 2005-12-12 박현주 chip design verification apparatus and method
US7725299B2 (en) * 2004-03-01 2010-05-25 Purdue Research Foundation Multi-tier and multi-domain distributed rapid product configuration and design system
US20050198618A1 (en) * 2004-03-03 2005-09-08 Groupe Azur Inc. Distributed software fabrication system and process for fabricating business applications
CN1302363C (en) * 2004-04-16 2007-02-28 联想(北京)有限公司 Man-machine interactive interface simulator with help of personal computer and working method
US7624383B2 (en) * 2004-04-30 2009-11-24 Cornell University System for and method of improving discrete event simulation using virtual machines
US7649854B2 (en) * 2004-05-19 2010-01-19 Bea Systems, Inc. System and method for providing channels in application servers and transaction-based systems
EP1769416A1 (en) * 2004-06-16 2007-04-04 State Of Oregon Acting By And Through The State Board Of Higher Education On Behalf Of Portland State University System and method for simulating global product development
CN100403258C (en) * 2004-07-21 2008-07-16 中国科学院软件研究所 Built-in equipment integrated development system and its use method
US7813914B1 (en) 2004-09-03 2010-10-12 Altera Corporation Providing component connection information
US7546571B2 (en) * 2004-09-08 2009-06-09 Mentor Graphics Corporation Distributed electronic design automation environment
GB2418269B (en) * 2004-09-15 2010-07-21 Tatung Co Ltd Reusable hardware IP protocol method for a system-on-chip device
US7369977B1 (en) * 2004-09-20 2008-05-06 The Mathworks, Inc. System and method for modeling timeouts in discrete event execution
US20060090136A1 (en) * 2004-10-01 2006-04-27 Microsoft Corporation Methods and apparatus for implementing a virtualized computer system
US8347078B2 (en) 2004-10-18 2013-01-01 Microsoft Corporation Device certificate individualization
US8336085B2 (en) 2004-11-15 2012-12-18 Microsoft Corporation Tuning product policy using observed evidence of customer behavior
US7793269B2 (en) 2005-02-15 2010-09-07 Ebay Inc. Parallel software testing based on a normalized configuration
US7415701B2 (en) * 2005-02-17 2008-08-19 Intel Corporation Methods and apparatus to support mixed-mode execution within a single instruction set architecture process of a virtual machine
US7634768B2 (en) * 2005-02-17 2009-12-15 Intel Corporation Methods and apparatus to support mixed-mode execution within a single instruction set architecture process of a virtual machine
US7493578B1 (en) * 2005-03-18 2009-02-17 Xilinx, Inc. Correlation of data from design analysis tools with design blocks in a high-level modeling system
US7849512B2 (en) * 2005-03-21 2010-12-07 Fortressware, Inc. Method and system to create secure virtual project room
US20060236303A1 (en) * 2005-03-29 2006-10-19 Wilson Thomas G Jr Dynamically adjustable simulator, such as an electric circuit simulator
US8099324B2 (en) * 2005-03-29 2012-01-17 Microsoft Corporation Securely providing advertising subsidized computer usage
GB2425859A (en) * 2005-05-05 2006-11-08 Advanced Risc Mach Ltd Modelling of programmable devices
US20060263133A1 (en) * 2005-05-17 2006-11-23 Engle Jesse C Network based method and apparatus for collaborative design
US8473470B1 (en) * 2005-05-23 2013-06-25 Bentley Systems, Incorporated System for providing collaborative communications environment for manufacturers and potential customers
US20060282247A1 (en) * 2005-05-25 2006-12-14 Brennan James T Combined hardware and network simulator for testing embedded wireless communication device software and methods
US7813910B1 (en) 2005-06-10 2010-10-12 Thinkvillage-Kiwi, Llc System and method for developing an application playing on a mobile device emulated on a personal computer
US8589140B1 (en) 2005-06-10 2013-11-19 Wapp Tech Corp. System and method for emulating and profiling a frame-based application playing on a mobile device
US8516300B2 (en) 2005-08-29 2013-08-20 The Invention Science Fund I, Llc Multi-votage synchronous systems
US7877584B2 (en) * 2005-08-29 2011-01-25 The Invention Science Fund I, Llc Predictive processor resource management
US8214191B2 (en) * 2005-08-29 2012-07-03 The Invention Science Fund I, Llc Cross-architecture execution optimization
US8209524B2 (en) 2005-08-29 2012-06-26 The Invention Science Fund I, Llc Cross-architecture optimization
US20070050608A1 (en) 2005-08-29 2007-03-01 Searete Llc, A Limited Liability Corporatin Of The State Of Delaware Hardware-generated and historically-based execution optimization
US8255745B2 (en) 2005-08-29 2012-08-28 The Invention Science Fund I, Llc Hardware-error tolerant computing
US8375247B2 (en) 2005-08-29 2013-02-12 The Invention Science Fund I, Llc Handling processor computational errors
US8181004B2 (en) 2005-08-29 2012-05-15 The Invention Science Fund I, Llc Selecting a resource management policy for a resource available to a processor
US8326926B2 (en) * 2005-09-13 2012-12-04 Mentor Graphics Corporation Distributed electronic design automation architecture
US7496869B1 (en) 2005-10-04 2009-02-24 Xilinx, Inc. Method and apparatus for implementing a program language description of a circuit design for an integrated circuit
US7363599B1 (en) 2005-10-04 2008-04-22 Xilinx, Inc. Method and system for matching a hierarchical identifier
US7802221B1 (en) 2005-11-02 2010-09-21 Altera Corporation Design tool with graphical interconnect matrix
US8176468B2 (en) 2005-12-01 2012-05-08 Cypress Semiconductor Corporation Multivariable transfer functions
TWI299457B (en) * 2005-12-20 2008-08-01 Univ Nat Chiao Tung Interface system, method and apparatus
US7380232B1 (en) 2006-03-10 2008-05-27 Xilinx, Inc. Method and apparatus for designing a system for implementation in a programmable logic device
US7761272B1 (en) 2006-03-10 2010-07-20 Xilinx, Inc. Method and apparatus for processing a dataflow description of a digital processing system
US8402409B1 (en) 2006-03-10 2013-03-19 Xilinx, Inc. Method and apparatus for supporting run-time reconfiguration in a programmable logic integrated circuit
US7930683B2 (en) * 2006-03-31 2011-04-19 Sap Ag Test automation method for software programs
US8387048B1 (en) 2006-04-25 2013-02-26 Parallels IP Holdings GmbH Seamless integration, migration and installation of non-native application into native operating system
US8117554B1 (en) 2006-04-25 2012-02-14 Parallels Holdings, Ltd. Seamless integration of non-native widgets and windows with dynamically scalable resolution into native operating system
US7987432B1 (en) 2006-04-25 2011-07-26 Parallels Holdings, Ltd. Seamless integration and installation of non-native application into native operating system
US8087007B2 (en) * 2006-05-08 2011-12-27 Assima Ltd. System and method for software prototype-development and validation and for automatic software simulation re-grabbing
US20080022254A1 (en) * 2006-07-20 2008-01-24 Taiwan Semiconductor Manufacturing Company, Ltd. System and method for improving mask tape-out process
WO2008047650A1 (en) * 2006-10-11 2008-04-24 Zuken Inc. Processing method, processing device, program and computer readable storage medium
US7886234B2 (en) * 2006-10-13 2011-02-08 Mediatek Inc. Systems and methods for creating embedded target images
US7823103B2 (en) * 2006-10-24 2010-10-26 International Business Machines Corporation Method and system of introducing hierarchy into design rule checking test cases and rotation of test case data
US8683444B1 (en) 2006-12-11 2014-03-25 Synopsys, Inc. System and method of debugging multi-threaded processes
US7941770B2 (en) * 2007-01-25 2011-05-10 Taiwan Semiconductor Manufacturing Company, Ltd. System and method for implementing an online design platform for integrated circuits
AU2008213607B2 (en) * 2007-02-09 2011-11-17 Sigos Llc Virtual device interactive recording
US7813912B1 (en) * 2007-02-14 2010-10-12 Xilinx, Inc. Profiling a hardware system generated by compiling a high level language onto a programmable logic device
US20080222581A1 (en) * 2007-03-09 2008-09-11 Mips Technologies, Inc. Remote Interface for Managing the Design and Configuration of an Integrated Circuit Semiconductor Design
US8082139B1 (en) * 2007-03-27 2011-12-20 Xilinx, Inc. Displaying signals of a design block emulated in hardware co-simulation
US7669164B1 (en) * 2007-04-04 2010-02-23 Xilinx, Inc. Hardware and software implementation of an electronic design in a programmable logic device
US8175099B2 (en) 2007-05-14 2012-05-08 Microsoft Corporation Embedded system development platform
JP2008310727A (en) * 2007-06-18 2008-12-25 Toshiba Corp Simulation system and simulation method
US8533678B2 (en) * 2007-07-13 2013-09-10 Digi International Inc. Embedded device program debug control
US20090024362A1 (en) * 2007-07-20 2009-01-22 3M Innovative Properties Company Virtual backlight framework
US8484626B2 (en) * 2007-09-28 2013-07-09 Verizon Patent And Licensing Inc. Generic XML screen scraping
US8364639B1 (en) * 2007-10-11 2013-01-29 Parallels IP Holdings GmbH Method and system for creation, analysis and navigation of virtual snapshots
JP5441911B2 (en) * 2007-11-01 2014-03-12 シリコン ヒフェ ベー．フェー． Processor design method and design system
US20090138249A1 (en) * 2007-11-28 2009-05-28 International Business Machines Corporation Defining operational elements in a business process model
US8265917B1 (en) * 2008-02-25 2012-09-11 Xilinx, Inc. Co-simulation synchronization interface for IC modeling
US7865795B2 (en) * 2008-02-28 2011-01-04 Qimonda Ag Methods and apparatuses for generating a random sequence of commands for a semiconductor device
WO2009120853A2 (en) * 2008-03-28 2009-10-01 Gworek Jonathan D Computer method and apparatus for outcome-based pricing of goods and services
US20090254822A1 (en) * 2008-04-04 2009-10-08 International Business Machines Corporation Hi-efficiency wizard framework system and method
US9813782B2 (en) 2008-04-11 2017-11-07 Adobe Systems Incorporated Systems and methods for developing objects and actions in media content
DE102008027485B4 (en) * 2008-06-09 2010-02-11 Gsi Helmholtzzentrum Für Schwerionenforschung Gmbh Deposition of a target dose distribution in a cyclically moving target area
JP5151722B2 (en) * 2008-06-20 2013-02-27 ソニー株式会社 Data processing apparatus and method, and program
US8533658B2 (en) * 2008-07-25 2013-09-10 Northrop Grumman Systems Corporation System and method for teaching software development processes
US8832579B2 (en) * 2008-08-12 2014-09-09 Rockwell Automation Technologies, Inc. System for creation and management of industrial automation and information solutions and services
US20100042670A1 (en) * 2008-08-13 2010-02-18 Electronic Data Systems Corporation Integrated development engine for a cloud computing environment
US9495276B1 (en) * 2008-08-20 2016-11-15 The Mathworks, Inc. Indicating metrics associated with a model on a human machine interface (HMI)
US7966523B2 (en) * 2008-08-21 2011-06-21 Rockwell Automation Technologies, Inc. Industrial automation and information solutions having industry specific modalities
US8434068B2 (en) * 2008-10-23 2013-04-30 XMOS Ltd. Development system
US8645489B1 (en) * 2008-10-30 2014-02-04 Adobe Systems Incorporated Systems and methods for the developing content and applications in hosted and non-hosted development environments
US8549491B2 (en) * 2008-12-05 2013-10-01 Electronics And Telecommunications Research Institute Apparatus and method for application testing of embedded system
US8776019B2 (en) 2008-12-05 2014-07-08 Invensys Systems, Inc. Configurator with embedded firmware for offline instrument user settings implementation
US8149721B2 (en) * 2008-12-08 2012-04-03 Advantest Corporation Test apparatus and test method
US8204734B2 (en) * 2008-12-29 2012-06-19 Verizon Patent And Licensing Inc. Multi-platform software application simulation systems and methods
US8516399B2 (en) * 2009-02-18 2013-08-20 Mentor Graphics Corporation Collaborative environment for physical verification of microdevice designs
NZ575836A (en) * 2009-03-27 2009-08-28 Nexus6 Ltd Improvements in or Relating to Medicament Delivery Systems
US8776028B1 (en) * 2009-04-04 2014-07-08 Parallels IP Holdings GmbH Virtual execution environment for software delivery and feedback
US8949772B1 (en) * 2009-06-01 2015-02-03 Amazon Technologies, Inc. Dynamic model based software application development
US8290905B1 (en) * 2009-09-11 2012-10-16 Infragistics Inc. Method and system for accessing interface design elements
US9703550B1 (en) * 2009-09-29 2017-07-11 EMC IP Holding Company LLC Techniques for building code entities
WO2011047918A1 (en) * 2009-10-21 2011-04-28 International Business Machines Corporation Method and system for improving software execution time by optimizing a performance model
US8799850B2 (en) * 2009-10-29 2014-08-05 Synopsys, Inc. Simulation-based design state snapshotting in electronic design automation
US20110106522A1 (en) * 2009-11-05 2011-05-05 Chinya Gautham N virtual platform for prototyping system-on-chip designs
CN101727389B (en) * 2009-11-23 2012-11-14 中兴通讯股份有限公司 Automatic test system and method of distributed integrated service
US8645914B2 (en) 2010-01-22 2014-02-04 AgentSheets, Inc. Conversational programming
KR101647817B1 (en) * 2010-03-31 2016-08-24 삼성전자주식회사 Apparatus and method for simulating reconfigrable processor
US20110252163A1 (en) * 2010-04-09 2011-10-13 Microsoft Corporation Integrated Development Environment for Rapid Device Development
US8543932B2 (en) * 2010-04-23 2013-09-24 Datacert, Inc. Generation and testing of graphical user interface for matter management workflow with collaboration
US20110289469A1 (en) * 2010-05-21 2011-11-24 Huang Thomas B Virtual interconnection method and apparatus
US8533531B2 (en) * 2010-06-10 2013-09-10 Microsoft Corporation Multimedia hardware emulation for application testing
US8826250B2 (en) * 2010-06-30 2014-09-02 Bioproduction Group Method for just-in-time compilation and execution of code blocks within discrete event simulations
US8478917B2 (en) 2010-09-22 2013-07-02 Microsoft Corporation Automatic addressing protocol for a shared bus
US8954870B2 (en) 2010-10-08 2015-02-10 Irise System and method for extending a visualization platform
US8605613B2 (en) 2010-12-15 2013-12-10 Apple Inc. Mobile hardware and network environment simulation
US9239708B2 (en) * 2010-12-28 2016-01-19 Microsoft Technology Licensing, Llc Contextually intelligent code editing
US8965827B2 (en) 2011-03-30 2015-02-24 Computer Sciences Corporation Rules execution platform system and method
US9535817B2 (en) 2011-06-10 2017-01-03 Microsoft Technology Licensing, Llc Application development environment for portable electronic devices
US9063673B2 (en) * 2011-08-30 2015-06-23 Uniquesoft, Llc System and method for implementing application code from application requirements
KR20130091096A (en) * 2012-02-07 2013-08-16 한국전자통신연구원 Simulation apparatus and method for verifying hybrid system
US8726209B1 (en) * 2012-02-14 2014-05-13 C{dot over (a)}dence Design System, Inc. Method and system for automatically establishing a component description format (CDF) debugging environment
US9081925B1 (en) * 2012-02-16 2015-07-14 Xilinx, Inc. Estimating system performance using an integrated circuit
CN103259771B (en) * 2012-02-20 2018-01-23 腾讯科技（深圳）有限公司 The interactive approach and device of a kind of network application
US9304746B2 (en) * 2012-06-07 2016-04-05 Carmel-Haifa University Economic Corporation Ltd. Creating a user model using component based approach
US8893065B2 (en) * 2012-07-11 2014-11-18 Mentor Graphics Corporation Biometric markers in a debugging environment
TWI502387B (en) * 2012-08-06 2015-10-01 Wistron Corp Crosstalk analysis method
US9015644B2 (en) * 2012-08-06 2015-04-21 Wistron Corp. Crosstalk analysis method
CN102930752A (en) * 2012-09-21 2013-02-13 浙江大学 Training platform for virtual prototype disassembling sequence model based on finite-state machine
US9098652B2 (en) * 2012-10-12 2015-08-04 Carbon Design Systems, Inc. Partitioning and parallel processing of a virtual prototype simulation of a hardware design
US9129072B2 (en) * 2012-10-15 2015-09-08 Qualcomm Incorporated Virtual GPIO
US9110682B2 (en) 2012-10-19 2015-08-18 Microsoft Technology Licensing Llc State machine control of a debugger
US20140157238A1 (en) * 2012-11-30 2014-06-05 Microsoft Corporation Systems and methods of assessing software quality for hardware devices
US9432278B2 (en) * 2013-03-07 2016-08-30 Microsoft Technology Licensing, Llc Simulation of interactions between network endpoints
US9158502B2 (en) * 2013-04-15 2015-10-13 Massively Parallel Technologies, Inc. System and method for communicating between viewers of a hierarchical software design
US20140351811A1 (en) * 2013-05-24 2014-11-27 Empire Technology Development Llc Datacenter application packages with hardware accelerators
US9262299B1 (en) * 2013-05-31 2016-02-16 Cadence Design Systems, Inc. Simulation observability and control of all hardware and software components of a virtual platform model of an electronics system
US9262305B1 (en) * 2013-05-31 2016-02-16 Cadence Design Systems, Inc. Simulation observability and control of all hardware and software components of a virtual platform model of an electronics system
US10339229B1 (en) 2013-05-31 2019-07-02 Cadence Design Systems, Inc. Simulation observability and control of all hardware and software components of a virtual platform model of an electronics system
US9086688B2 (en) * 2013-07-09 2015-07-21 Fisher-Rosemount Systems, Inc. State machine function block with user-definable actions on a transition between states
US9646114B2 (en) * 2013-07-10 2017-05-09 The Boeing Company Electrical power system stability
US9542513B2 (en) 2013-07-31 2017-01-10 Arm Limited Multimode execution of virtual hardware models
US9477579B2 (en) * 2013-08-09 2016-10-25 Freescale Semiconductor, Inc. Embedded software debug system with partial hardware acceleration
US10970183B1 (en) * 2013-08-16 2021-04-06 The Mathworks, Inc. System and method for improving model performance
US9442696B1 (en) * 2014-01-16 2016-09-13 The Math Works, Inc. Interactive partitioning and mapping of an application across multiple heterogeneous computational devices from a co-simulation design environment
US9582623B2 (en) * 2014-02-12 2017-02-28 Synopsys, Inc. Dynamically loaded system-level simulation
US10437694B2 (en) * 2014-02-21 2019-10-08 Rolf Segger Real time terminal for debugging embedded computing systems
US20150261648A1 (en) * 2014-03-13 2015-09-17 Parth Malani Power monitoring system for virtual platform simulation
US9690686B1 (en) 2014-03-31 2017-06-27 Cadence Design Systems, Inc. Method for setting breakpoints in automatically loaded software
US9501594B2 (en) * 2014-04-13 2016-11-22 Vtool Ltd. Graphical design verification environment generator
US9360523B2 (en) * 2014-04-18 2016-06-07 Breker Verification Systems Display in a graphical format of test results generated using scenario models
JP6476594B2 (en) * 2014-05-26 2019-03-06 オムロン株式会社 Simulation system
WO2016042559A1 (en) * 2014-09-19 2016-03-24 Seebo Interactive Ltd. System and method for designing a product and manufacturing a product
IL234911B (en) * 2014-09-30 2018-02-28 Omri Mark Weil Shlomo Encapsulation system for programming languages
US9600384B2 (en) * 2014-10-14 2017-03-21 Cypress Semiconductor Corporation System-on-chip verification
US11487561B1 (en) 2014-12-24 2022-11-01 Cadence Design Systems, Inc. Post simulation debug and analysis using a system memory model
US9679098B2 (en) * 2015-01-29 2017-06-13 Mentor Graphics Corporation Protocol probes
EP3106897A1 (en) * 2015-06-19 2016-12-21 Centre National d'Etudes Spatiales Gnss receiver with an on-board capability to implement an optimal error correction mode
US10802852B1 (en) 2015-07-07 2020-10-13 Cadence Design Systems, Inc. Method for interactive embedded software debugging through the control of simulation tracing components
US10346573B1 (en) * 2015-09-30 2019-07-09 Cadence Design Systems, Inc. Method and system for performing incremental post layout simulation with layout edits
US9928332B1 (en) * 2015-11-19 2018-03-27 Altera Corporation Systems and methods for time-multiplexed synchronous logic
US9535763B1 (en) 2015-11-30 2017-01-03 International Business Machines Corporation System and method for runtime grouping of processing elements in streaming applications
KR102335715B1 (en) * 2015-12-04 2021-12-06 한국전자기술연구원 Embedded hardware development and verification framework based on virtualization
EP3182278A1 (en) 2015-12-17 2017-06-21 Vsoft Spolka Akcyjna System for automatic preparation of integrated development environments
US10331841B1 (en) * 2016-01-15 2019-06-25 Cadence Design Systems, Inc. Methods, systems, and computer program product for implementing virtual prototyping for electronic designs
US9852048B2 (en) * 2016-01-18 2017-12-26 International Business Machines Corporation Simulating process variable changes during process runtime
US9928046B2 (en) * 2016-02-12 2018-03-27 International Business Machines Corporation System and method for dynamic runtime merging of real time streaming operator environments
US20180157769A1 (en) * 2016-03-21 2018-06-07 Brigham Young University Multi-reference interface inheritance for concurrent cad interoperability applications
KR101653797B1 (en) 2016-04-15 2016-09-09 스튜디오씨드코리아 주식회사 Method for prototyping Graphic User Interface and Apparatus thereof
US10810108B2 (en) 2016-05-03 2020-10-20 The Boeing Company Testing application programs using a virtual machine
US9996450B2 (en) * 2016-05-03 2018-06-12 The Boeing Company Transferring application software between virtual machines
US10108531B2 (en) 2016-05-03 2018-10-23 The Boeing Company Transferring application software from a physical to a virtual computer system
US11853690B1 (en) 2016-05-31 2023-12-26 The Mathworks, Inc. Systems and methods for highlighting graphical models
US10572247B2 (en) * 2016-06-01 2020-02-25 Dell Products L.P. Prototype management system
US20170351796A1 (en) * 2016-06-06 2017-12-07 Prateek Sikka Method for improving the runtime performance of multi-clock designs on fpga and emulation systems
US9916225B1 (en) * 2016-06-23 2018-03-13 VCE IP Holding Company LLC Computer implemented system and method and computer program product for testing a software component by simulating a computing component using captured network packet information
EP3285165A1 (en) * 2016-08-18 2018-02-21 dSPACE digital signal processing and control engineering GmbH Modification and simulation of the operating software of a technical system
US20180129758A1 (en) * 2016-11-08 2018-05-10 Prateek Sikka Method for improving runtime performance of multi-clock designs on fgpa and emulation systems using iterative pipelining
US10503855B2 (en) * 2017-01-23 2019-12-10 Concertal Systems, Inc. Methods and systems for system design automation (SDA) of mixed signal electronic circuitry including embedded software designs
US10705950B2 (en) * 2017-01-30 2020-07-07 Retest Gmbh Method and system for semi-automatic testing of program code for graphical user interfaces
CN108509662A (en) * 2017-02-24 2018-09-07 创意电子股份有限公司 File management method and system for integrated circuit design
WO2018170350A1 (en) * 2017-03-17 2018-09-20 Hoff Nicholas System and method for visually specifying computation sequences and results
JP6919338B2 (en) * 2017-05-30 2021-08-18 オムロン株式会社 Program development support device, program development support system, program development support method, and program development support program
US10691320B2 (en) * 2017-09-21 2020-06-23 Sap Se Simulation of cloud platform integration testing in a visual interface
CN107844299B (en) * 2017-12-01 2021-01-22 浪潮软件股份有限公司 Method for implementing Web application development tool
US10133871B1 (en) * 2017-12-13 2018-11-20 Booz Allen Hamilton Inc. Method and system for identifying functional attributes that change the intended operation of a compiled binary extracted from a target system
US10521540B2 (en) 2017-12-18 2019-12-31 Texas Instruments Incorporated System and method for interactive datasheets
US10534588B2 (en) * 2018-06-08 2020-01-14 Sap Se Data processing simulator with simulator module and data elements
US10713404B1 (en) * 2018-12-12 2020-07-14 Xilinx, Inc. Customizable debug and profile monitoring of reconfigurable systems
US10430179B1 (en) * 2019-03-07 2019-10-01 Capital One Services, Llc Methods and systems for managing application configurations
CN109960943A (en) * 2019-04-02 2019-07-02 山东渔翁信息技术股份有限公司 A kind of encryption device
CN112988138A (en) 2019-12-16 2021-06-18 杭州中天微系统有限公司 System and method for application in an integrated development environment
CN111625226B (en) * 2020-05-29 2023-05-16 北京无线电测量研究所 Prototype-based man-machine interaction design implementation method and system
US11314503B2 (en) 2020-06-08 2022-04-26 Bank Of America Corporation Software development documentation using machine learning
CN112380800B (en) * 2020-12-03 2024-03-29 中国科学技术大学 Online FPGA (field programmable gate array) experimental platform for automatic evaluation and related method
KR102300005B1 (en) 2021-03-05 2021-09-08 주식회사 스트라토아이티 Method and system for assisting software development using connection of graphic objects, each representing a software component
KR20220156153A (en) 2021-05-18 2022-11-25 주식회사 스트라토아이티 Method and system for assisting software development using visual representation of state transition of and message exchange between software components
US11947886B2 (en) * 2021-07-09 2024-04-02 Delta Electronics, Inc. Development system and method of offline software-in-the-loop simulation
CN113836366A (en) * 2021-08-18 2021-12-24 广州致远电子有限公司 Data traversal method and device based on embedded system
CN113591231B (en) * 2021-09-27 2022-02-22 卡斯柯信号(北京)有限公司 Method and device for simulating driving
WO2023169045A1 (en) * 2022-03-07 2023-09-14 Espressif Systems (Shanghai) Co., Ltd. Method, system, and development machine for evaluating embedded project using web browser
CN117421251B (en) * 2023-12-18 2024-03-19 武汉天喻信息产业股份有限公司 Method and system for debugging user interface of embedded terminal

Family Cites Families (28)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US605524A (en) * 1898-06-14 spelman
US5197016A (en) * 1988-01-13 1993-03-23 International Chip Corporation Integrated silicon-software compiler
US5870308A (en) * 1990-04-06 1999-02-09 Lsi Logic Corporation Method and system for creating and validating low-level description of electronic design
DE69216020T2 (en) * 1991-03-07 1997-07-10 Digital Equipment Corp IMPROVED TROUBLESHOOTING SYSTEM AND METHOD, PARTICULARLY FOR TROUBLESHOOTING IN A MULTI-ARCHITECTURE ENVIRONMENT
US20040250083A1 (en) * 1994-03-03 2004-12-09 Barry Schwab Secure interactive digital system for displaying items to a user identified as having permission to access the system
JPH08263438A (en) * 1994-11-23 1996-10-11 Xerox Corp Distribution and use control system of digital work and access control method to digital work
US6963859B2 (en) * 1994-11-23 2005-11-08 Contentguard Holdings, Inc. Content rendering repository
ATE257611T1 (en) * 1995-10-23 2004-01-15 Imec Inter Uni Micro Electr DESIGN SYSTEM AND METHODS FOR COMBINED DESIGN OF HARDWARE AND SOFTWARE
US5870588A (en) * 1995-10-23 1999-02-09 Interuniversitair Micro-Elektronica Centrum(Imec Vzw) Design environment and a design method for hardware/software co-design
JP3492105B2 (en) * 1996-08-30 2004-02-03 株式会社東芝 Hardware / software co-simulation apparatus and simulation method
US6088693A (en) * 1996-12-06 2000-07-11 International Business Machines Corporation Data management system for file and database management
US6618854B1 (en) * 1997-02-18 2003-09-09 Advanced Micro Devices, Inc. Remotely accessible integrated debug environment
JPH113367A (en) * 1997-03-14 1999-01-06 Interuniv Micro Electron Centrum Vzw Design environment and method for generating implementable description in digital system
US20030040962A1 (en) * 1997-06-12 2003-02-27 Lewis William H. System and data management and on-demand rental and purchase of digital data products
US6142682A (en) * 1997-06-13 2000-11-07 Telefonaktiebolaget Lm Ericsson Simulation of computer processor
US6766284B2 (en) * 1998-04-10 2004-07-20 Peter Finch Method and apparatus for generating co-simulation and production executables from a single source
US6052524A (en) * 1998-05-14 2000-04-18 Software Development Systems, Inc. System and method for simulation of integrated hardware and software components
EE200100189A (en) * 1998-09-30 2002-08-15 Cadence Design Systems, Inc. Block based development methodology
US20050060549A1 (en) * 1998-10-26 2005-03-17 Microsoft Corporation Controlling access to content based on certificates and access predicates
US6477683B1 (en) * 1999-02-05 2002-11-05 Tensilica, Inc. Automated processor generation system for designing a configurable processor and method for the same
US20050234811A1 (en) * 1999-02-24 2005-10-20 Herman Joseph A Method and system for virtual sealed-bid competitions held over a communications network
US20020138244A1 (en) * 1999-09-30 2002-09-26 Meyer Steven J. Simulator independent object code HDL simulation using PLI
US6263302B1 (en) * 1999-10-29 2001-07-17 Vast Systems Technology Corporation Hardware and software co-simulation including simulating the cache of a target processor
US7065481B2 (en) * 1999-11-30 2006-06-20 Synplicity, Inc. Method and system for debugging an electronic system using instrumentation circuitry and a logic analyzer
US6931572B1 (en) * 1999-11-30 2005-08-16 Synplicity, Inc. Design instrumentation circuitry
US6842811B2 (en) * 2000-02-24 2005-01-11 Pts Corporation Methods and apparatus for scalable array processor interrupt detection and response
US6594799B1 (en) * 2000-02-28 2003-07-15 Cadence Design Systems, Inc. Method and system for facilitating electronic circuit and chip design using remotely located resources
US7124376B2 (en) * 2000-05-02 2006-10-17 Palmchip Corporation Design tool for systems-on-a-chip

Also Published As

Publication number Publication date
WO2001095161A3 (en) 2003-10-02
US20100017185A1 (en) 2010-01-21
US20020059054A1 (en) 2002-05-16
US7970596B2 (en) 2011-06-28
US7613599B2 (en) 2009-11-03
WO2001095161A2 (en) 2001-12-13

Similar Documents

Publication Publication Date Title
AU2001266660A1 (en) Method and system for virtual prototyping
AU2001288372A1 (en) System and method for tele-ophthalmology
AU2002214667A1 (en) System and method for rapid telepositioning
AU2001249765A1 (en) System and method for separating three-dimensional models
AU2001257572A1 (en) Method and system for account activation
AU2001243365A1 (en) System and method for process protection
AU2002215785A1 (en) Method and system for enhanced detail-in-context viewing
AU2002229104A1 (en) System and method for managing product development
AU2001249387A1 (en) System and method for the creation of virtual information packages
AU2002307768A1 (en) System and method for phytomonitoring
AU2001261225A1 (en) Method and system for hardware simulation
AU2001227600A1 (en) System and method for flexible software linking
AU2002217582A1 (en) Method for making simulator program and simulator system using the method
WO2002052451A8 (en) Distribution system and method
AU2001249483A1 (en) System and method for representing related concepts
AU2001287012A1 (en) System and method for online virtual collections
AU2002213227A1 (en) Generalizer system and method
AU2001288811A1 (en) Method and system for simultaneously creating and using multiple virtual realityprograms
GB0129379D0 (en) Virtual publishing system and method
WO2001059614A8 (en) System and method for cataloguing
AU2001290346A1 (en) System and method for simulated engagement
AU2001287126A1 (en) Virtual fluoroscopic system and method
AU2001278802A1 (en) System and method for autorizing e-commerce
AU2003249091A1 (en) Method and system for virtual object generation
AU2001247969A1 (en) Method and system for distributing an event