JPH04246776A - タイミング情報を編成し解析する方法及び装置 - Google Patents

タイミング情報を編成し解析する方法及び装置

Info

Publication number
JPH04246776A
JPH04246776A JP3226151A JP22615191A JPH04246776A JP H04246776 A JPH04246776 A JP H04246776A JP 3226151 A JP3226151 A JP 3226151A JP 22615191 A JP22615191 A JP 22615191A JP H04246776 A JPH04246776 A JP H04246776A
Authority
JP
Japan
Prior art keywords
state
signal
transition
dependent
state boundary
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
JP3226151A
Other languages
English (en)
Japanese (ja)
Inventor
Steven K Sherman
スティーヴン　ケイ　シャーマン
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.)
Digital Equipment Corp
Original Assignee
Digital Equipment 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 Digital Equipment Corp filed Critical Digital Equipment Corp
Publication of JPH04246776A publication Critical patent/JPH04246776A/ja
Pending legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F1/00—Details not covered by groups G06F3/00 - G06F13/00 and G06F21/00
    • G06F1/04—Generating or distributing clock signals or signals derived directly therefrom
    • 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/3312—Timing analysis

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • Design And Manufacture Of Integrated Circuits (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
JP3226151A 1990-09-06 1991-09-05 タイミング情報を編成し解析する方法及び装置 Pending JPH04246776A (ja)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US07/578,723 US5353433A (en) 1990-09-06 1990-09-06 Method and apparatus for organizing and analyzing timing information
US578723 1990-09-06

Publications (1)

Publication Number Publication Date
JPH04246776A true JPH04246776A (ja) 1992-09-02

Family

ID=24314036

Family Applications (1)

Application Number Title Priority Date Filing Date
JP3226151A Pending JPH04246776A (ja) 1990-09-06 1991-09-05 タイミング情報を編成し解析する方法及び装置

Country Status (6)

Country Link
US (1) US5353433A (OSRAM)
EP (1) EP0474359B1 (OSRAM)
JP (1) JPH04246776A (OSRAM)
AU (1) AU654479B2 (OSRAM)
CA (1) CA2050755A1 (OSRAM)
DE (1) DE69127798T2 (OSRAM)

Families Citing this family (13)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5367469A (en) * 1990-12-13 1994-11-22 Vlsi Technology, Inc. Predictive capacitance layout method for integrated circuits
US5475607A (en) * 1994-04-12 1995-12-12 International Business Machines Corporation Method of target generation for multilevel hierarchical circuit designs
US5640328A (en) * 1994-04-25 1997-06-17 Lam; Jimmy Kwok-Ching Method for electric leaf cell circuit placement and timing determination
US5475605A (en) * 1994-05-26 1995-12-12 Cadence Design Systems, Inc. Timing analysis for logic optimization using target library delay values
US5675502A (en) * 1995-08-22 1997-10-07 Quicklogic Corporation Estimating propagation delays in a programmable device
JP2874628B2 (ja) * 1996-01-30 1999-03-24 日本電気株式会社 論理回路の最適化装置及びその方法
US5978929A (en) * 1997-03-20 1999-11-02 International Business Machines Corporation Computer unit responsive to difference between external clock period and circuit characteristic period
JP3445476B2 (ja) 1997-10-02 2003-09-08 株式会社東芝 半導体メモリシステム
US6675310B1 (en) * 2000-05-04 2004-01-06 Xilinx, Inc. Combined waveform and data entry apparatus and method for facilitating fast behavorial verification of digital hardware designs
US6961931B2 (en) * 2001-01-10 2005-11-01 International Business Machines Corporation Dependency specification using target patterns
US6993695B2 (en) * 2001-06-06 2006-01-31 Agilent Technologies, Inc. Method and apparatus for testing digital devices using transition timestamps
US8082140B2 (en) 2008-04-16 2011-12-20 GM Global Technology Operations LLC Parametric analysis of real time response guarantees on interacting software components
EP2746474B1 (de) 2012-12-21 2020-04-22 Geberit International AG Spülvorrichtung mit Geruchsabsaugung

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4527249A (en) * 1982-10-22 1985-07-02 Control Data Corporation Simulator system for logic design validation
US4763289A (en) * 1985-12-31 1988-08-09 International Business Machines Corporation Method for the modeling and fault simulation of complementary metal oxide semiconductor circuits
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
US4965758A (en) * 1988-03-01 1990-10-23 Digital Equipment Corporation Aiding the design of an operation having timing interactions by operating a computer system
US5212783A (en) * 1988-06-13 1993-05-18 Digital Equipment Corporation System which directionally sums signals for identifying and resolving timing inconsistencies
US5095454A (en) * 1989-05-25 1992-03-10 Gateway Design Automation Corporation Method and apparatus for verifying timing during simulation of digital circuits

Also Published As

Publication number Publication date
US5353433A (en) 1994-10-04
CA2050755A1 (en) 1992-03-07
DE69127798D1 (de) 1997-11-06
AU654479B2 (en) 1994-11-10
DE69127798T2 (de) 1998-04-30
AU7501891A (en) 1992-03-12
EP0474359A3 (OSRAM) 1994-01-05
EP0474359A2 (en) 1992-03-11
EP0474359B1 (en) 1997-10-01

Similar Documents

Publication Publication Date Title
CN100549966C (zh) 使用一个或多个自动机的系统验证
KR100237090B1 (ko) 제어 집중 시스템
US20070276644A1 (en) Conversion of circuit description to a transaction model
US7007207B2 (en) Scheduling of transactions in system-level test program generation
US5491639A (en) Procedure for verifying data-processing systems
JPH04246776A (ja) タイミング情報を編成し解析する方法及び装置
US6574759B1 (en) Method for verifying and improving run-time of a memory test
Leduc et al. Synthesis method for hierarchical interface-based supervisory control
US7197445B1 (en) Atomic transaction processing for logic simulation
Nursimulu et al. Cause-effect graphing analysis and validation of requirements
Berstis The V compiler: automatic hardware design
US7093224B2 (en) Model-based logic design
Baier et al. Model checking linear-time properties of probabilistic systems
US7136947B1 (en) System and method for automatically synthesizing interfaces between incompatible protocols
JPH1091677A (ja) シミュレーション／エミュレーションの効率を増すための論理変換方法
Mishchenko et al. Efficient solution of language equations using partitioned representations
Maharaj et al. A survey of formal methods applied to leader election in IEEE 1394
Abrams et al. CHITRA94: A Tool to Dynamically Charaterize Ensembles of Traces for Input Data Modeling and Output Analsis
Hahn Computer Design Language-Version Munich (CDLM) a modern multi-level language
Blumenrohr et al. On the efficiency of formal synthesis-experimental results
KR100327902B1 (ko) 지역모형검사를 이용하여 프로토콜을 실시간적으로검증하는 방법
Rülling Formal verification
Babar et al. Explicit state space and markov chain generation using decision diagrams
Zimmermann et al. Formal Modelling of Electronic Circuits Using Event-B: Case Study: SAE J1708 Serial Communication Link
KR19990079355A (ko) 테스트벤치 발생기 및 이를 이용한 시뮬레이션방법