JP2014523569A - 拡張可能な並列プロセッサのためのシステム、方法、および、装置 - Google Patents

拡張可能な並列プロセッサのためのシステム、方法、および、装置 Download PDF

Info

Publication number
JP2014523569A
JP2014523569A JP2014515970A JP2014515970A JP2014523569A JP 2014523569 A JP2014523569 A JP 2014523569A JP 2014515970 A JP2014515970 A JP 2014515970A JP 2014515970 A JP2014515970 A JP 2014515970A JP 2014523569 A JP2014523569 A JP 2014523569A
Authority
JP
Japan
Prior art keywords
processor
memory
design
event
test bench
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.)
Pending
Application number
JP2014515970A
Other languages
English (en)
Japanese (ja)
Other versions
JP2014523569A5 (enExample
Inventor
バッシュティーン・アスガー
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.)
Montana Systems Inc
Original Assignee
Montana Systems Inc
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 Montana Systems Inc filed Critical Montana Systems Inc
Publication of JP2014523569A publication Critical patent/JP2014523569A/ja
Publication of JP2014523569A5 publication Critical patent/JP2014523569A5/ja
Pending legal-status Critical Current

Links

Images

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
    • 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
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F15/00—Digital computers in general; Data processing equipment in general
    • G06F15/76—Architectures of general purpose stored program computers
    • G06F15/82—Architectures of general purpose stored program computers data or demand driven
    • G06F15/825—Dataflow computers
    • 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
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2115/00—Details relating to the type of the circuit
    • G06F2115/10—Processors

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • Software Systems (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
  • Multi Processors (AREA)
JP2014515970A 2011-06-14 2012-06-13 拡張可能な並列プロセッサのためのシステム、方法、および、装置 Pending JP2014523569A (ja)

Applications Claiming Priority (5)

Application Number Priority Date Filing Date Title
US201161496900P 2011-06-14 2011-06-14
US61/496,900 2011-06-14
US13/494,913 2012-06-12
US13/494,913 US9430596B2 (en) 2011-06-14 2012-06-12 System, method and apparatus for a scalable parallel processor
PCT/US2012/042322 WO2012174167A1 (en) 2011-06-14 2012-06-13 System, method and apparatus for a scalable parallel processor

Publications (2)

Publication Number Publication Date
JP2014523569A true JP2014523569A (ja) 2014-09-11
JP2014523569A5 JP2014523569A5 (enExample) 2015-07-30

Family

ID=47354375

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2014515970A Pending JP2014523569A (ja) 2011-06-14 2012-06-13 拡張可能な並列プロセッサのためのシステム、方法、および、装置

Country Status (5)

Country Link
US (2) US9430596B2 (enExample)
EP (1) EP2721508A4 (enExample)
JP (1) JP2014523569A (enExample)
KR (1) KR20140068863A (enExample)
WO (1) WO2012174167A1 (enExample)

Families Citing this family (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9448777B2 (en) * 2012-09-07 2016-09-20 Samsung Electronics Co., Ltd. Apparatus and method for generating assertion based on user program code, and apparatus and method for verifying processor using assertion
US10552126B2 (en) * 2013-03-15 2020-02-04 Teradata Us, Inc. Transitioning between code-based and data-based execution forms in computing systems and environments
US10564929B2 (en) * 2016-09-01 2020-02-18 Wave Computing, Inc. Communication between dataflow processing units and memories
US10275244B2 (en) * 2016-03-04 2019-04-30 Montana Systems Inc. Event-driven design simulation
US11675681B2 (en) * 2021-09-21 2023-06-13 International Business Machines Corporation Configuration of weighted address pools for component design verification
US20230186003A1 (en) * 2021-12-10 2023-06-15 Metrics Design Automation, Inc. Digital design simulation accelerator
US11868786B1 (en) * 2022-01-14 2024-01-09 Cadence Design Systems, Inc. Systems and methods for distributed and parallelized emulation processor configuration
CN117935901B (zh) * 2024-02-19 2024-09-06 北京中科昊芯科技有限公司 一种用于访问sdram的emif的验证方法

Citations (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS5969861A (ja) * 1982-10-14 1984-04-20 Matsushita Electric Ind Co Ltd デイジタル回路シミユレ−シヨン装置
JPH0212343A (ja) * 1988-03-31 1990-01-17 Internatl Business Mach Corp <Ibm> シミユレーシヨン・エンジン
JPH05108852A (ja) * 1991-10-11 1993-04-30 Sanyo Electric Co Ltd データ駆動型データ処理装置
JPH07334384A (ja) * 1994-06-03 1995-12-22 Internatl Business Mach Corp <Ibm> 多重プロセッサ・エミュレーション・システム
JP2000082094A (ja) * 1998-08-18 2000-03-21 Advantest Corp 半導体集積回路設計検証システム
JP2009517783A (ja) * 2005-12-01 2009-04-30 リーガ システムズ， インコーポレイテッド ロジックおよびメモリのシミュレーション用ハードウェア加速システム
JP2009533785A (ja) * 2006-04-17 2009-09-17 リガ システムズ， インコーポレイテッド Ｖｌｉｗプロセッサのための分岐および行動分割
JP2009271653A (ja) * 2008-05-02 2009-11-19 Fujitsu Ltd 消費電力見積方法、回路設計支援装置及びプログラム
JP2010128722A (ja) * 2008-11-26 2010-06-10 Canon Inc シミュレーションシステム、シミュレーション方法及びプログラム

Family Cites Families (21)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS54107239A (en) 1978-02-09 1979-08-22 Nec Corp Program execution order control system
US4298954A (en) * 1979-04-30 1981-11-03 International Business Machines Corporation Alternating data buffers when one buffer is empty and another buffer is variably full of data
US4701844A (en) 1984-03-30 1987-10-20 Motorola Computer Systems, Inc. Dual cache for independent prefetch and execution units
US5126966A (en) 1986-06-25 1992-06-30 Ikos Systems, Inc. High speed logic simulation system with stimulus engine using independent event channels selectively driven by independent stimulus programs
US4882673A (en) * 1987-10-02 1989-11-21 Advanced Micro Devices, Inc. Method and apparatus for testing an integrated circuit including a microprocessor and an instruction cache
JP2583949B2 (ja) 1988-03-10 1997-02-19 松下電器産業株式会社 論理シミュレーション方法と論理シミュレーション装置
US5293500A (en) 1989-02-10 1994-03-08 Mitsubishi Denki K.K. Parallel processing method and apparatus
US6163793A (en) 1994-08-05 2000-12-19 Intel Corporation Method and apparatus for using a driver program executing on a host processor to control the execution of code on an auxiliary processor
JP3543181B2 (ja) 1994-11-09 2004-07-14 株式会社ルネサステクノロジ データ処理装置
US5875293A (en) * 1995-08-08 1999-02-23 Dell Usa, L.P. System level functional testing through one or more I/O ports of an assembled computer system
US6047367A (en) 1998-01-20 2000-04-04 International Business Machines Corporation Microprocessor with improved out of order support
JP2001188745A (ja) * 1999-12-28 2001-07-10 Mitsubishi Electric Corp 制御装置及び制御方法
US6738895B1 (en) 2000-08-31 2004-05-18 Micron Technology, Inc. Method and system for substantially registerless processing
US7613858B1 (en) 2005-01-24 2009-11-03 Altera Corporation Implementing signal processing cores as application specific processors
US20070074195A1 (en) 2005-09-23 2007-03-29 Shih-Wei Liao Data transformations for streaming applications on multiprocessors
EP1783604A3 (en) 2005-11-07 2007-10-03 Slawomir Adam Janczewski Object-oriented, parallel language, method of programming and multi-processor computer
US7996203B2 (en) 2008-01-31 2011-08-09 International Business Machines Corporation Method, system, and computer program product for out of order instruction address stride prefetch performance verification
WO2010029812A1 (ja) 2008-09-09 2010-03-18 日本電気株式会社 マルチコアにおけるプログラミングシステム、その方法及びそのプログラム
US20100153934A1 (en) 2008-12-12 2010-06-17 Peter Lachner Prefetch for systems with heterogeneous architectures
US20110213949A1 (en) 2010-03-01 2011-09-01 Sonics, Inc. Methods and apparatus for optimizing concurrency in multiple core systems
CN102207916B (zh) 2011-05-30 2013-10-30 西安电子科技大学 一种基于指令预取的多核共享存储器控制设备

Patent Citations (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS5969861A (ja) * 1982-10-14 1984-04-20 Matsushita Electric Ind Co Ltd デイジタル回路シミユレ−シヨン装置
JPH0212343A (ja) * 1988-03-31 1990-01-17 Internatl Business Mach Corp <Ibm> シミユレーシヨン・エンジン
JPH05108852A (ja) * 1991-10-11 1993-04-30 Sanyo Electric Co Ltd データ駆動型データ処理装置
JPH07334384A (ja) * 1994-06-03 1995-12-22 Internatl Business Mach Corp <Ibm> 多重プロセッサ・エミュレーション・システム
JP2000082094A (ja) * 1998-08-18 2000-03-21 Advantest Corp 半導体集積回路設計検証システム
JP2009517783A (ja) * 2005-12-01 2009-04-30 リーガ システムズ， インコーポレイテッド ロジックおよびメモリのシミュレーション用ハードウェア加速システム
JP2009533785A (ja) * 2006-04-17 2009-09-17 リガ システムズ， インコーポレイテッド Ｖｌｉｗプロセッサのための分岐および行動分割
JP2009271653A (ja) * 2008-05-02 2009-11-19 Fujitsu Ltd 消費電力見積方法、回路設計支援装置及びプログラム
JP2010128722A (ja) * 2008-11-26 2010-06-10 Canon Inc シミュレーションシステム、シミュレーション方法及びプログラム

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
TOM BLANK: ""A survey of Hardware Accelerators Used in Computer-Aided Design"", DESIGN & TEST OF COMPUTERS, IEEE, JPN6016005336, August 1984 (1984-08-01), US, pages 21 - 39, XP011337993, ISSN: 0003254703, DOI: 10.1109/MDT.1984.5005647 *

Also Published As

Publication number Publication date
US20160364514A1 (en) 2016-12-15
US9430596B2 (en) 2016-08-30
EP2721508A1 (en) 2014-04-23
KR20140068863A (ko) 2014-06-09
WO2012174167A1 (en) 2012-12-20
US20120323549A1 (en) 2012-12-20
EP2721508A4 (en) 2015-04-01

Similar Documents

Publication Publication Date Title
Rogers et al. gem5-salam: A system architecture for llvm-based accelerator modeling
Krommydas et al. Opendwarfs: Characterization of dwarf-based benchmarks on fixed and reconfigurable architectures
US9430596B2 (en) System, method and apparatus for a scalable parallel processor
US20070219771A1 (en) Branching and Behavioral Partitioning for a VLIW Processor
US20190384598A1 (en) Event-driven design simulation
Matthews et al. MosaicSim: A lightweight, modular simulator for heterogeneous systems
Feng et al. Heterosim: A heterogeneous cpu-fpga simulator
US10452393B2 (en) Event-driven design simulation
US9483379B2 (en) Randomly branching using hardware watchpoints
Wunderlich et al. In-system FPGA prototyping of an Itanium microarchitecture
Giorgi et al. Translating timing into an architecture: the synergy of COTSon and HLS (domain expertise—designing a computer architecture via HLS)
Sotiriou-Xanthopoulos et al. OpenCL-based virtual prototyping and simulation of many-accelerator architectures
Matthews et al. The mosaicsim simulator (full technical report)
Bailey et al. Codesign experiences based on a virtual platform
Silbermintz et al. Soc modeling methodology for architectural exploration and software development
Martin et al. Processor Simulation and Characterization
JP2003223476A (ja) 機能シミュレーションのためのハードウェア・アクセラレーション・システム
Peltrera Co-design of memory systems for hardware accelerators
Pétrot et al. Multiprocessor System-on-Chip Prototyping Using Dynamic Binary Translation
Giorgi et al. Research Article Translating Timing into an Architecture: The Synergy of COTSon and HLS (Domain Expertise—Designing a Computer Architecture via HLS)
Martin et al. Configurable, extensible processor system simulation
Kao Performance and area evaluations of processor-based benchmarks on FPGA devices
Tkachov Accelerating Unstructured Mesh Computations using Custom Streaming Architectures
Deng et al. Asynchronous Parallel Logic Simulation on Modern Graphics Processors
D’Hollander The Role of Non-strict Fine-grain Synchronization

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20140708

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20150610

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20150610

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20160129

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20160216

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20160331

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20160823

A601 Written request for extension of time

Free format text: JAPANESE INTERMEDIATE CODE: A601

Effective date: 20161020

A601 Written request for extension of time

Free format text: JAPANESE INTERMEDIATE CODE: A601

Effective date: 20170106

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20170223

A02 Decision of refusal

Free format text: JAPANESE INTERMEDIATE CODE: A02

Effective date: 20170808