AU639551B2 - Method and apparatus for interpreting and organizing timing specification information - Google Patents

Method and apparatus for interpreting and organizing timing specification information Download PDF

Info

Publication number
AU639551B2
AU639551B2 AU75019/91A AU7501991A AU639551B2 AU 639551 B2 AU639551 B2 AU 639551B2 AU 75019/91 A AU75019/91 A AU 75019/91A AU 7501991 A AU7501991 A AU 7501991A AU 639551 B2 AU639551 B2 AU 639551B2
Authority
AU
Australia
Prior art keywords
character string
signal
entries
lexicon
unstructured
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.)
Ceased
Application number
AU75019/91A
Other languages
English (en)
Other versions
AU7501991A (en
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 AU7501991A publication Critical patent/AU7501991A/en
Application granted granted Critical
Publication of AU639551B2 publication Critical patent/AU639551B2/en
Anticipated expiration legal-status Critical
Ceased 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)
  • Document Processing Apparatus (AREA)
  • Devices For Executing Special Programs (AREA)
AU75019/91A 1990-06-26 1991-04-16 Method and apparatus for interpreting and organizing timing specification information Ceased AU639551B2 (en)

Applications Claiming Priority (2)

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

Publications (2)

Publication Number Publication Date
AU7501991A AU7501991A (en) 1992-01-02
AU639551B2 true AU639551B2 (en) 1993-07-29

Family

ID=24171484

Family Applications (1)

Application Number Title Priority Date Filing Date
AU75019/91A Ceased AU639551B2 (en) 1990-06-26 1991-04-16 Method and apparatus for interpreting and organizing timing specification information

Country Status (6)

Country Link
US (1) US5239493A (cg-RX-API-DMAC7.html)
EP (1) EP0463729B1 (cg-RX-API-DMAC7.html)
JP (1) JPH04233065A (cg-RX-API-DMAC7.html)
AU (1) AU639551B2 (cg-RX-API-DMAC7.html)
CA (1) CA2042824A1 (cg-RX-API-DMAC7.html)
DE (1) DE69129681T2 (cg-RX-API-DMAC7.html)

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
EP0643855A1 (en) * 1992-06-04 1995-03-22 Xilinx, Inc. Timing driven method for laying out a user's circuit onto a programmable integrated circuit device
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

Citations (3)

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

Family Cites Families (1)

* 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

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
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
DE69129681T2 (de) 1999-02-25
US5239493A (en) 1993-08-24
EP0463729B1 (en) 1998-07-01
CA2042824A1 (en) 1991-12-27
AU7501991A (en) 1992-01-02
EP0463729A2 (en) 1992-01-02
EP0463729A3 (cg-RX-API-DMAC7.html) 1994-01-05
DE69129681D1 (de) 1998-08-06
JPH04233065A (ja) 1992-08-21

Similar Documents

Publication Publication Date Title
US4989145A (en) Syntax analysis and language processing system
CN107203468B (zh) 一种基于ast的软件版本演化对比分析方法
EP0612018B1 (en) Apparatus and method for syntactic signal analysis
US20250077683A1 (en) System and method for vulnerability localization based on deep learning
CN105426711A (zh) 一种计算机软件源代码相似度检测方法
CN117688164B (zh) 基于大语言模型的幻觉检测方法、系统以及存储介质
CN120723894B (zh) 一种基于父子分段与多源召回的增强检索生成方法
US20200410000A1 (en) Determining data categorizations based on an ontology and a machine-learning model
Demers Generalized left corner parsing
US5239493A (en) Method and apparatus for interpreting and organizing timing specification information
CN121212348A (zh) 基于逻辑树推理的增强型llm-rag多跳问答方法
Zhang et al. An accurate identifier renaming prediction and suggestion approach
CN115774769A (zh) 敏感词的校验处理方法及装置
CN122021824A (zh) 一种受文本知识约束的多模态信息抽取方法与系统
Eisner et al. Functional specification of hardware via temporal logic
US5353433A (en) Method and apparatus for organizing and analyzing timing information
CN116680705A (zh) 基于特征提取的Rust程序缺陷自动检测方法及系统
CN121211029A (zh) 一种文档查重方法、装置及介质
CN116467047A (zh) 针对容器配置合规性的检测方法、装置、存储介质及终端
CN121326754A (zh) 一种基于知识图谱的航天领域测试用例生成方法
Sideri et al. PG-HIVE: Hybrid Incremental Schema Discovery for Property Graphs
JPH11232303A (ja) テキスト検索装置
CN121212123B (zh) 命令解析方法、装置、设备及存储介质
CN121579708B (zh) Pdf知识图谱构建方法、装置、设备、存储介质及程序产品
US12061637B2 (en) Heuristic identification of shared substrings between text documents