JPH04233065A - タイミング仕様情報の解釈と編成を行う方法と装置 - Google Patents

タイミング仕様情報の解釈と編成を行う方法と装置

Info

Publication number
JPH04233065A
JPH04233065A JP3145937A JP14593791A JPH04233065A JP H04233065 A JPH04233065 A JP H04233065A JP 3145937 A JP3145937 A JP 3145937A JP 14593791 A JP14593791 A JP 14593791A JP H04233065 A JPH04233065 A JP H04233065A
Authority
JP
Japan
Prior art keywords
signal
string
information
match
dictionary
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
JP3145937A
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 JPH04233065A publication Critical patent/JPH04233065A/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)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Machine Translation (AREA)
  • Devices For Executing Special Programs (AREA)
  • Document Processing Apparatus (AREA)
JP3145937A 1990-06-26 1991-06-18 タイミング仕様情報の解釈と編成を行う方法と装置 Pending JPH04233065A (ja)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US07/544,269 US5239493A (en) 1990-06-26 1990-06-26 Method and apparatus for interpreting and organizing timing specification information
US544269 1990-06-26

Publications (1)

Publication Number Publication Date
JPH04233065A true JPH04233065A (ja) 1992-08-21

Family

ID=24171484

Family Applications (1)

Application Number Title Priority Date Filing Date
JP3145937A Pending JPH04233065A (ja) 1990-06-26 1991-06-18 タイミング仕様情報の解釈と編成を行う方法と装置

Country Status (6)

Country Link
US (1) US5239493A (2)
EP (1) EP0463729B1 (2)
JP (1) JPH04233065A (2)
AU (1) AU639551B2 (2)
CA (1) CA2042824A1 (2)
DE (1) DE69129681T2 (2)

Families Citing this family (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5381524B2 (en) * 1991-11-12 1997-07-08 Chronology Corp Automated development of timing diagrams for electrical circuits
JP3737104B2 (ja) * 1992-06-04 2006-01-18 ジリンクス，インコーポレーテッド プログラム可能な集積回路デバイスにユーザ回路を配置するタイミング駆動式の方法
US5648913A (en) * 1993-03-29 1997-07-15 Xilinx, Inc. Frequency driven layout system and method for field programmable gate arrays
US5475607A (en) * 1994-04-12 1995-12-12 International Business Machines Corporation Method of target generation for multilevel hierarchical circuit designs
US5727187A (en) * 1995-08-31 1998-03-10 Unisys Corporation Method of using logical names in post-synthesis electronic design automation systems
US6023567A (en) * 1996-10-07 2000-02-08 International Business Machines Corporation Method and apparatus for verifying timing rules for an integrated circuit design
US6836753B1 (en) 2001-06-13 2004-12-28 Cadence Design Systems, Inc. Cone slack allocator for computing time budgets
US20070033557A1 (en) * 2005-08-08 2007-02-08 Byrn Jonathan W Method for creating constraints for integrated circuit design closure
US8082140B2 (en) 2008-04-16 2011-12-20 GM Global Technology Operations LLC Parametric analysis of real time response guarantees on interacting software components

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4490811A (en) * 1979-03-14 1984-12-25 Yianilos Peter N String comparator device system circuit and method
US4821220A (en) * 1986-07-25 1989-04-11 Tektronix, Inc. System for animating program operation and displaying time-based relationships
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
US4914590A (en) * 1988-05-18 1990-04-03 Emhart Industries, Inc. Natural language understanding system

Also Published As

Publication number Publication date
US5239493A (en) 1993-08-24
AU7501991A (en) 1992-01-02
CA2042824A1 (en) 1991-12-27
AU639551B2 (en) 1993-07-29
DE69129681T2 (de) 1999-02-25
DE69129681D1 (de) 1998-08-06
EP0463729B1 (en) 1998-07-01
EP0463729A2 (en) 1992-01-02
EP0463729A3 (2) 1994-01-05

Similar Documents

Publication Publication Date Title
US20030033595A1 (en) Automated HDL modifying apparatus and computer-readable recording medium in which program for automatically modifying HDL is recorded
JP5370159B2 (ja) 情報抽出装置及び情報抽出システム
CN113761879B (zh) 报文格式校验方法、装置以及存储介质
CN108829647A (zh) 一种数据转换方法及装置
WO2022237253A1 (zh) 一种测试用例生成方法、装置及设备
EP1508864A2 (en) Apparatus and method for searching data of structured document
CN111176650B (zh) 解析器生成方法、检索方法、服务器及存储介质
JP4427500B2 (ja) 意味解析装置、意味解析方法および意味解析プログラム
CN112231278A (zh) 项目工程文件的分析方法、装置、设备及存储介质
US20030229852A1 (en) Document processing system, method and program
CN113312896A (zh) 一种硬件描述语言vhdl规范检查工具
CN113190220A (zh) Json文件差异化对比方法及装置
JPH04233065A (ja) タイミング仕様情報の解釈と編成を行う方法と装置
US5353433A (en) Method and apparatus for organizing and analyzing timing information
CN117195829A (zh) 文本标注方法、文本标注装置及电子设备
WO2025129888A1 (zh) 文档信息提取方法、装置和存储介质
CN114781293B (zh) 一种芯片瓶颈分析方法、装置、设备及介质
EP4462284A1 (en) Drawing search device, drawing database construction device, drawing search system, drawing search method, and recording medium
CN118134422A (zh) 文件内容审核的方法、装置、设备、存储介质及产品
CN111310416A (zh) 用于分析和转换标准数据源文件的方法及系统
CN116955186A (zh) 一种软件测试知识库构建方法、装置、电子设备及介质
CN118113879A (zh) 一种构建故障知识图谱的方法和计算装置
JPH11232303A (ja) テキスト検索装置
CN116360794A (zh) 数据库语言解析方法、装置、计算机设备及存储介质
KR101489606B1 (ko) 비 일관성 식별자 검출 방법 및 이를 기록한 기록매체