CN101720467B - 电路仿真的输入和延迟输入的复用 - Google Patents

电路仿真的输入和延迟输入的复用 Download PDF

Info

Publication number
CN101720467B
CN101720467B CN2008800231051A CN200880023105A CN101720467B CN 101720467 B CN101720467 B CN 101720467B CN 2008800231051 A CN2008800231051 A CN 2008800231051A CN 200880023105 A CN200880023105 A CN 200880023105A CN 101720467 B CN101720467 B CN 101720467B
Authority
CN
China
Prior art keywords
circuit
logic
signal
input signal
delayed
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.)
Active
Application number
CN2008800231051A
Other languages
English (en)
Chinese (zh)
Other versions
CN101720467A (zh
Inventor
M·拉罗歇
R·迈克斯纳
C·K·额
K·麦克尔文
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.)
Synopsys Inc
Original Assignee
Synopsys 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 Synopsys Inc filed Critical Synopsys Inc
Publication of CN101720467A publication Critical patent/CN101720467A/zh
Application granted granted Critical
Publication of CN101720467B publication Critical patent/CN101720467B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

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
    • G06F30/331—Design verification, e.g. functional simulation or model checking using simulation with hardware acceleration, e.g. by using field programmable gate array [FPGA] or emulation

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)
CN2008800231051A 2007-05-09 2008-05-09 电路仿真的输入和延迟输入的复用 Active CN101720467B (zh)

Applications Claiming Priority (11)

Application Number Priority Date Filing Date Title
US91703307P 2007-05-09 2007-05-09
US91702707P 2007-05-09 2007-05-09
US91702407P 2007-05-09 2007-05-09
US91701507P 2007-05-09 2007-05-09
US60/917,024 2007-05-09
US60/917,033 2007-05-09
US60/917,027 2007-05-09
US60/917,015 2007-05-09
US12/117,711 2008-05-08
US12/117,711 US7908574B2 (en) 2007-05-09 2008-05-08 Techniques for use with automated circuit design and simulations
PCT/US2008/006009 WO2008140789A1 (en) 2007-05-09 2008-05-09 Multiplexing of inputs and delayed inputs of a circuit emulation

Publications (2)

Publication Number Publication Date
CN101720467A CN101720467A (zh) 2010-06-02
CN101720467B true CN101720467B (zh) 2013-07-24

Family

ID=39736888

Family Applications (1)

Application Number Title Priority Date Filing Date
CN2008800231051A Active CN101720467B (zh) 2007-05-09 2008-05-09 电路仿真的输入和延迟输入的复用

Country Status (5)

Country Link
US (1) US7908574B2 (enExample)
EP (1) EP2145272B1 (enExample)
JP (1) JP5410414B2 (enExample)
CN (1) CN101720467B (enExample)
WO (1) WO2008140789A1 (enExample)

Families Citing this family (26)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7984400B2 (en) * 2007-05-09 2011-07-19 Synopsys, Inc. Techniques for use with automated circuit design and simulations
US8756557B2 (en) 2007-05-09 2014-06-17 Synopsys, Inc. Techniques for use with automated circuit design and simulations
US7904859B2 (en) * 2007-05-09 2011-03-08 Synopsys, Inc. Method and apparatus for determining a phase relationship between asynchronous clock signals
JP2009193165A (ja) * 2008-02-12 2009-08-27 Toshiba Corp デバッグ装置およびデバッグ方法
JP5262996B2 (ja) * 2009-05-26 2013-08-14 富士通セミコンダクター株式会社 論理シミュレーション装置、方法、及びプログラム
US8255702B1 (en) * 2009-12-03 2012-08-28 Altera Corporation Programmable logic device with improved security
US8661383B1 (en) * 2010-07-28 2014-02-25 VSYNC Circuits, Ltd. VLSI black-box verification
US8707229B1 (en) 2010-07-28 2014-04-22 VSYNC Circuit, Ltd. Static analysis of VLSI reliability
US8443313B2 (en) * 2010-08-18 2013-05-14 International Business Machines Corporation Circuit design optimization
US8631364B1 (en) 2010-12-26 2014-01-14 VSYNC Circuits Ltd. Constraining VLSI circuits
CN103594109B (zh) * 2012-08-15 2017-09-15 上海华虹集成电路有限责任公司 一种替代双端口静态存储器的存储器结构
CN103941105B (zh) * 2013-01-17 2016-08-17 德律科技股份有限公司 时序分析装置及时序分析方法
US8775986B1 (en) * 2013-02-25 2014-07-08 Xilinx, Inc. Software debugging of synthesized hardware
US9495492B1 (en) * 2015-01-05 2016-11-15 Cadence Design Systems, Inc. Implementing synchronous triggers for waveform capture in an FPGA prototyping system
US10140413B2 (en) * 2015-04-21 2018-11-27 Synopsys, Inc. Efficient resolution of latch race conditions in emulation
US10210919B2 (en) * 2015-06-03 2019-02-19 Altera Corporation Integrated circuits with embedded double-clocked components
CN107103116B (zh) * 2017-03-27 2019-07-30 中国科学院计算技术研究所 一种复用追踪缓存的触发装置及设计方法
JP7180043B2 (ja) * 2018-07-30 2022-11-30 東芝情報システム株式会社 ディジタル検証支援装置及びディジタル検証支援用プログラム
US11106437B2 (en) 2019-01-14 2021-08-31 Microsoft Technology Licensing, Llc Lookup table optimization for programming languages that target synchronous digital circuits
US11275568B2 (en) 2019-01-14 2022-03-15 Microsoft Technology Licensing, Llc Generating a synchronous digital circuit from a source code construct defining a function call
US11144286B2 (en) 2019-01-14 2021-10-12 Microsoft Technology Licensing, Llc Generating synchronous digital circuits from source code constructs that map to circuit implementations
US11113176B2 (en) * 2019-01-14 2021-09-07 Microsoft Technology Licensing, Llc Generating a debugging network for a synchronous digital circuit during compilation of program source code
US11093682B2 (en) 2019-01-14 2021-08-17 Microsoft Technology Licensing, Llc Language and compiler that generate synchronous digital circuits that maintain thread execution order
LU101294B1 (en) * 2019-07-03 2021-01-20 Onespin Solutions Gmbh Method of checking equivalence between a first design comprising a shift register logic srl chain and a second design
CN112291080B (zh) * 2020-09-27 2023-07-04 青岛矽昌通信技术有限公司 一种通信模拟的控制方法及系统
WO2022178793A1 (zh) * 2021-02-26 2022-09-01 华为技术有限公司 一种延迟补偿方法以及相关设备

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6694464B1 (en) * 1997-05-30 2004-02-17 Quickturn Design Systems, Inc. Method and apparatus for dynamically testing electrical interconnect
CN1641647A (zh) * 2004-01-09 2005-07-20 中国科学院微电子研究所 一种异步数据通路平均性能分析方法

Family Cites Families (20)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5596742A (en) * 1993-04-02 1997-01-21 Massachusetts Institute Of Technology Virtual interconnections for reconfigurable logic systems
US5553275A (en) * 1993-07-13 1996-09-03 Intel Corporation Method and apparatus for synchronously detecting phase relationships between a high-frequency clock and a low-frequency clock
US5659716A (en) * 1994-11-23 1997-08-19 Virtual Machine Works, Inc. Pipe-lined static router and scheduler for configurable logic system performing simultaneous communications and computation
US6473439B1 (en) * 1997-10-10 2002-10-29 Rambus Incorporated Method and apparatus for fail-safe resynchronization with minimum latency
KR20010006983A (ko) 1999-06-26 2001-01-26 양세양 신속 프로토타이핑 장치와 그것의 입출력 탐침방법 및그것을 이용한 혼합 검증 방법
WO2001001245A1 (en) 1999-06-26 2001-01-04 Yang Sei Yang Input/output probing apparatus and input/output probing method using the same, and mixed emulation/simulation method based on it
KR100710972B1 (ko) 1999-06-26 2007-04-24 양세양 혼합된 에뮬레이션과 시뮬레이션이 가능한 혼합 검증 장치및 이를 이용한 혼합 검증 방법
US6618839B1 (en) * 1999-11-30 2003-09-09 Synplicity, Inc. Method and system for providing an electronic system design with enhanced debugging capabilities
US7072818B1 (en) * 1999-11-30 2006-07-04 Synplicity, Inc. Method and system for debugging an electronic system
US7379859B2 (en) * 2001-04-24 2008-05-27 Mentor Graphics Corporation Emulator with switching network connections
JP2002073712A (ja) * 2000-08-28 2002-03-12 Sony Corp 回路生成装置、回路生成方法及びｃａｄ設計装置
KR100794916B1 (ko) 2001-09-14 2008-01-14 양세양 에뮬레이션과 시뮬레이션을 혼용한 점진적 설계 검증을위한 설계검증 장치 및 이를 이용한 설계 검증 방법
US6904576B2 (en) 2002-08-09 2005-06-07 Synplicity, Inc. Method and system for debugging using replicated logic
US7398445B2 (en) * 2002-08-09 2008-07-08 Synplicity, Inc. Method and system for debug and test using replicated logic
US7213216B2 (en) * 2002-08-09 2007-05-01 Synplicity, Inc. Method and system for debugging using replicated logic and trigger logic
US7440884B2 (en) 2003-01-23 2008-10-21 Quickturn Design Systems, Inc. Memory rewind and reconstruction for hardware emulator
US7093204B2 (en) * 2003-04-04 2006-08-15 Synplicity, Inc. Method and apparatus for automated synthesis of multi-channel circuits
US7245684B2 (en) * 2003-05-09 2007-07-17 Hewlett-Packard Development Company, L.P. System and method for compensating for skew between a first clock signal and a second clock signal
DE10345150B3 (de) * 2003-09-29 2005-04-14 Advanced Micro Devices, Inc., Sunnyvale Verfahren, Vorrichtung und System zum Analysieren digitaler Schaltungen
US7949907B2 (en) * 2006-10-03 2011-05-24 Wipro Limited Method and device for data communication

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6694464B1 (en) * 1997-05-30 2004-02-17 Quickturn Design Systems, Inc. Method and apparatus for dynamically testing electrical interconnect
CN1641647A (zh) * 2004-01-09 2005-07-20 中国科学院微电子研究所 一种异步数据通路平均性能分析方法

Also Published As

Publication number Publication date
CN101720467A (zh) 2010-06-02
EP2145272B1 (en) 2018-08-15
US20080313579A1 (en) 2008-12-18
WO2008140789A1 (en) 2008-11-20
US7908574B2 (en) 2011-03-15
EP2145272A1 (en) 2010-01-20
JP2010531000A (ja) 2010-09-16
JP5410414B2 (ja) 2014-02-05

Similar Documents

Publication Publication Date Title
CN101720467B (zh) 电路仿真的输入和延迟输入的复用
CN101720464B (zh) 从仿真器状态至hdl模拟器的转换
CN101720466B (zh) 使用复制存储元件记录仿真器状态
JP5432127B2 (ja) 自動回路設計及びシミュレーションに使用するための技術
JP4806529B2 (ja) 複製されたロジックを使用するデバッグの方法とシステム
US7213216B2 (en) Method and system for debugging using replicated logic and trigger logic
US7289946B1 (en) Methodology for verifying multi-cycle and clock-domain-crossing logic using random flip-flop delays
TW201428521A (zh) 設計及模擬系統、裝置及方法
CN107784185B (zh) 一种门级网表中伪路径的提取方法、装置及终端设备
EP1913410B1 (en) Method and system for debug and test using replicated logic
TWI427496B (zh) 製造積體電路的模型的方法和系統
Davies et al. Timing verification for asynchronous design
Niskanen High-level verification flow for a high-level synthesis-based digital logic design
Wenban A software development environment for real-time systems based on user-reconfigurable hardware

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C14 Grant of patent or utility model
GR01 Patent grant