JP4716964B2 - タイミングダイアグラム編集プログラム、タイミングダイアグラム編集装置およびタイミングダイアグラム編集方法 - Google Patents
タイミングダイアグラム編集プログラム、タイミングダイアグラム編集装置およびタイミングダイアグラム編集方法 Download PDFInfo
- Publication number
- JP4716964B2 JP4716964B2 JP2006260338A JP2006260338A JP4716964B2 JP 4716964 B2 JP4716964 B2 JP 4716964B2 JP 2006260338 A JP2006260338 A JP 2006260338A JP 2006260338 A JP2006260338 A JP 2006260338A JP 4716964 B2 JP4716964 B2 JP 4716964B2
- Authority
- JP
- Japan
- Prior art keywords
- image
- timing diagram
- waveform image
- repetitions
- waveform
- 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.)
- Expired - Fee Related
Links
- 238000010586 diagram Methods 0.000 title claims description 172
- 238000000034 method Methods 0.000 title claims description 41
- 238000001514 detection method Methods 0.000 claims description 28
- 230000008569 process Effects 0.000 claims description 18
- 230000014509 gene expression Effects 0.000 description 18
- 238000012795 verification Methods 0.000 description 8
- 238000012545 processing Methods 0.000 description 7
- 238000013461 design Methods 0.000 description 6
- 230000004044 response Effects 0.000 description 4
- 230000006870 function Effects 0.000 description 3
- 238000012360 testing method Methods 0.000 description 3
- 238000005516 engineering process Methods 0.000 description 2
- 230000009467 reduction Effects 0.000 description 2
- 230000005540 biological transmission Effects 0.000 description 1
- 230000008859 change Effects 0.000 description 1
- 238000004891 communication Methods 0.000 description 1
- 230000000881 depressing effect Effects 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 239000004973 liquid crystal related substance Substances 0.000 description 1
- 230000002035 prolonged effect Effects 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR 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)
- 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)
- User Interface Of Digital Computer (AREA)
Description
まず、この発明の実施の形態にかかるタイミングダイアグラム編集処理の概要について説明する。図1は、この発明の実施の形態にかかるタイミングダイアグラム編集処理の概要を示す説明図である。
つぎに、タイミングダイアグラム編集装置200のハードウェア構成について説明する。図2は、タイミングダイアグラム編集装置200のハードウェア構成を示すブロック図である。図2において、タイミングダイアグラム編集装置200は、CPU201と、ROM202と、RAM203と、HDD(ハードディスクドライブ)204と、HD(ハードディスク)205と、FDD(フレキシブルディスクドライブ)206と、着脱可能な記録媒体の一例としてのFD(フレキシブルディスク)207と、ディスプレイ208と、I/F(インターフェース)209と、キーボード210と、マウス211と、スキャナ212と、プリンタ213とを備えている。また、各構成部は、バス220によってそれぞれ接続されている。
つぎに、この発明の実施の形態にかかるタイミングダイアグラム編集装置200の機能的構成について説明する。図3は、この発明の実施の形態にかかるタイミングダイアグラム編集装置200の機能的構成を示すブロック図である。図3において、タイミングダイアグラム編集装置200は、入力部301と、決定部302と、表示部303と、検出部304と、から構成されている。
ここで、タイミングダイアグラムについての具体的な説明をおこなう。図4は、WRITEシーケンスに対応するタイミングダイアグラムの一例を示す説明図である。図4に示すタイミングダイアグラム400には、各シーケンスについて、クロックサイクルごとの信号の値が示されている。
つぎに、この発明の実施の形態にかかるタイミングダイアグラム編集装置200のタイミングダイアグラム編集処理手順について説明する。図15は、この発明の実施の形態にかかるタイミングダイアグラム編集装置200のタイミングダイアグラム編集処理を示すフローチャートである。
前記入力工程によって入力された数値情報に基づいて前記波形画像の反復回数を決定させる決定工程と、
前記タイミングダイアグラムのうち前記波形画像が、当該波形画像を前記決定工程によって決定された反復回数分連結させた連続波形画像に置き換えられたシーケンス画像を表示させる表示工程と、
をコンピュータに実行させることを特徴とするタイミングダイアグラム編集プログラム。
前記決定工程は、
前記検出工程の検出結果に基づいて前記波形画像の反復回数を決定させることを特徴とする付記1に記載のタイミングダイアグラム編集プログラム。
前記検出工程によって前記実例シーケンス画像の表示指定が検出された場合、前記数値情報によってあらわされる前記波形画像の反復回数の中から当該波形画像の反復回数を決定させ、
前記表示工程は、
前記実例シーケンス画像を前記シーケンス画像として表示させることを特徴とする付記2に記載のタイミングダイアグラム編集プログラム。
前記検出工程によって前記反例シーケンス画像の表示指定が検出された場合、前記数値情報によってあらわされていない前記波形画像の反復回数の中から当該波形画像の反復回数を決定させ、
前記表示工程は、
前記反例シーケンス画像を前記シーケンス画像として表示させることを特徴とする付記2または3に記載のタイミングダイアグラム編集プログラム。
前記決定工程によって決定された波形画像の反復回数に応じて前記領域の大きさを変化させて表示させることを特徴とする付記5に記載のタイミングダイアグラム編集プログラム。
前記入力手段によって入力された数値情報に基づいて前記波形画像の反復回数を決定する決定手段と、
前記タイミングダイアグラムのうち前記波形画像が、当該波形画像を前記決定手段によって決定された反復回数分連結させた連続波形画像に置き換えられたシーケンス画像を表示する表示手段と、
を備えることを特徴とするタイミングダイアグラム編集装置。
前記決定手段は、
前記検出手段の検出結果に基づいて前記波形画像の反復回数を決定させることを特徴とする付記8に記載のタイミングダイアグラム編集装置。
前記検出手段によって前記実例シーケンス画像の表示指定が検出された場合、前記数値情報によってあらわされる前記波形画像の反復回数の中から当該波形画像の反復回数を決定し、
前記表示手段は、
前記実例シーケンス画像を前記シーケンス画像として表示することを特徴とする付記9に記載のタイミングダイアグラム編集装置。
前記検出手段によって前記反例シーケンス画像の表示指定が検出された場合、前記数値情報によってあらわされていない前記波形画像の反復回数の中から当該波形画像の反復回数を決定し、
前記表示手段は、
前記反例シーケンス画像を前記シーケンス画像として表示させることを特徴とする付記9または10に記載のタイミングダイアグラム編集装置。
前記波形画像に対応付けて当該波形画像の名称が記述される領域を表示することを特徴とする付記8〜11のいずれか一つに記載のタイミングダイアグラム編集装置。
前記決定手段によって決定された波形画像の反復回数に応じて前記領域の大きさを変化させて表示することを特徴とする付記12に記載のタイミングダイアグラム編集装置。
前記入力工程によって入力された数値情報に基づいて前記波形画像の反復回数を決定する決定工程と、
前記タイミングダイアグラムのうち前記波形画像が、当該波形画像を前記決定工程によって決定された反復回数分連結させた連続波形画像に置き換えられたシーケンス画像を表示する表示工程と、
を含んだことを特徴とするタイミングダイアグラム編集方法。
前記決定工程は、
前記検出工程の検出結果に基づいて前記波形画像の反復回数を決定させることを特徴とする付記14に記載のタイミングダイアグラム編集方法。
前記検出工程によって前記実例シーケンス画像の表示指定が検出された場合、前記数値情報によってあらわされる前記波形画像の反復回数の中から当該波形画像の反復回数を決定し、
前記表示工程は、
前記実例シーケンス画像を前記シーケンス画像として表示することを特徴とする付記15に記載のタイミングダイアグラム編集方法。
前記検出工程によって前記反例シーケンス画像の表示指定が検出された場合、前記数値情報によってあらわされていない前記波形画像の反復回数の中から当該波形画像の反復回数を決定し、
前記表示工程は、
前記反例シーケンス画像を前記シーケンス画像として表示することを特徴とする付記15または16に記載のタイミングダイアグラム編集方法。
前記決定工程によって決定された波形画像の反復回数に応じて前記領域の大きさを変化させて表示することを特徴とする付記18に記載のタイミングダイアグラム編集方法。
301 入力部
302 決定部
303 表示部
304 検出部
Claims (5)
- 表示画面に表示されたタイミングダイアグラムのうち任意のクロック数分の波形画像の反復回数をあらわす数値情報の入力を受け付けさせる入力工程と、
前記タイミングダイアグラムの実例シーケンス画像または反例シーケンス画像のうちいずれか一方の表示指定を検出させる検出工程と、
前記検出工程によって前記実例シーケンス画像の表示指定が検出された場合、前記入力工程によって入力された数値情報によってあらわされる前記波形画像の反復回数の中から当該波形画像の反復回数を決定させる決定工程と、
前記タイミングダイアグラムのうち前記波形画像が、当該波形画像を前記決定工程によって決定された反復回数分連結させた連続波形画像に置き換えられたシーケンス画像を前記実例シーケンス画像として表示させる表示工程と、
をコンピュータに実行させることを特徴とするタイミングダイアグラム編集プログラム。 - 前記波形画像に対応付けて当該波形画像の名称が記述される領域を、前記決定工程によって決定された波形画像の反復回数に応じて前記領域の大きさを変化させて表示させる領域表示工程を前記コンピュータに実行させることを特徴とする請求項1に記載のタイミングダイアグラム編集プログラム。
- 前記入力工程は、
前記数値情報として、前記タイミングダイアグラムのうち、第1の波形画像の反復回数をあらわす第1の数値情報と、第2の波形画像の反復回数をあらわす第2の数値情報と、前記第1および第2の波形画像を連結させた第3の波形画像の反復回数をあらわす第3の数値情報との入力を受け付けさせ、
前記決定工程は、
前記実例シーケンス画像の表示指定が検出された場合、前記第1の数値情報によってあらわされる前記第1の波形画像の反復回数の中から当該第1の波形画像の第1の反復回数を決定させ、かつ、前記第2の数値情報によってあらわされる前記第2の波形画像の反復回数の中から当該第2の波形画像の第2の反復回数を決定させ、かつ、前記第3の数値情報によってあらわされる前記第3の波形画像の反復回数の中から当該第3の波形画像の第3の反復回数を決定させ、
前記表示工程は、
前記タイミングダイアグラムのうち、前記第1の波形画像が当該第1の波形画像を前記第1の反復回数分連結させた連続波形画像に置き換えられ、前記第2の波形画像が当該第2の波形画像を前記第2の反復回数分連結させた連続波形画像に置き換えられ、前記第3の波形画像が当該第3の波形画像を前記第3の反復回数分連結させた連続波形画像に置き換えられたシーケンス画像を前記実例シーケンス画像として表示させることを特徴とする請求項1または2に記載のタイミングダイアグラム編集プログラム。 - 表示画面に表示されたタイミングダイアグラムのうち任意のクロック数分の波形画像の反復回数をあらわす数値情報の入力を受け付ける入力手段と、
前記タイミングダイアグラムの実例シーケンス画像または反例シーケンス画像のうちいずれか一方の表示指定を検出する検出手段と、
前記検出手段によって前記実例シーケンス画像の表示指定が検出された場合、前記入力手段によって入力された数値情報によってあらわされる前記波形画像の反復回数の中から当該波形画像の反復回数を決定する決定手段と、
前記タイミングダイアグラムのうち前記波形画像が、当該波形画像を前記決定手段によって決定された反復回数分連結させた連続波形画像に置き換えられたシーケンス画像を前記実例シーケンス画像として表示する表示手段と、
を備えることを特徴とするタイミングダイアグラム編集装置。 - コンピュータが、
表示画面に表示されたタイミングダイアグラムのうち任意のクロック数分の波形画像の反復回数をあらわす数値情報の入力を受け付ける入力工程と、
前記タイミングダイアグラムの実例シーケンス画像または反例シーケンス画像のうちいずれか一方の表示指定を検出する検出工程と、
前記検出工程によって前記実例シーケンス画像の表示指定が検出された場合、前記入力工程によって入力された数値情報によってあらわされる前記波形画像の反復回数の中から当該波形画像の反復回数を決定する決定工程と、
前記タイミングダイアグラムのうち前記波形画像が、当該波形画像を前記決定工程によって決定された反復回数分連結させた連続波形画像に置き換えられたシーケンス画像を前記実例シーケンス画像として表示する表示工程と、
を実行することを特徴とするタイミングダイアグラム編集方法。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2006260338A JP4716964B2 (ja) | 2006-09-26 | 2006-09-26 | タイミングダイアグラム編集プログラム、タイミングダイアグラム編集装置およびタイミングダイアグラム編集方法 |
US11/706,221 US7911466B2 (en) | 2006-09-26 | 2007-02-15 | Method and apparatus for editing timing diagram, and computer product |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2006260338A JP4716964B2 (ja) | 2006-09-26 | 2006-09-26 | タイミングダイアグラム編集プログラム、タイミングダイアグラム編集装置およびタイミングダイアグラム編集方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2008083780A JP2008083780A (ja) | 2008-04-10 |
JP4716964B2 true JP4716964B2 (ja) | 2011-07-06 |
Family
ID=39226483
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2006260338A Expired - Fee Related JP4716964B2 (ja) | 2006-09-26 | 2006-09-26 | タイミングダイアグラム編集プログラム、タイミングダイアグラム編集装置およびタイミングダイアグラム編集方法 |
Country Status (2)
Country | Link |
---|---|
US (1) | US7911466B2 (ja) |
JP (1) | JP4716964B2 (ja) |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9244810B2 (en) * | 2013-05-23 | 2016-01-26 | Nvidia Corporation | Debugger graphical user interface system, method, and computer program product |
US9286426B2 (en) | 2014-04-23 | 2016-03-15 | International Business Machines Corporation | Method and apparatus for testing |
KR20150134688A (ko) * | 2014-05-22 | 2015-12-02 | 삼성전자주식회사 | 트랜잭터를 자동으로 생성하는 컴퓨팅 시스템 |
USD987459S1 (en) * | 2021-04-26 | 2023-05-30 | Yokogawa Electric Corporation | Spectrum analyzer |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPS6375879A (ja) * | 1986-09-18 | 1988-04-06 | Fujitsu Ltd | テストデ−タ編集機能付cad装置 |
JP2006053813A (ja) * | 2004-08-13 | 2006-02-23 | Fujitsu Ltd | 論理検証装置、論理検証方法、論理検証プログラムおよび記録媒体 |
Family Cites Families (17)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPS5112724A (ja) * | 1974-07-23 | 1976-01-31 | Nippon Electric Co | |
US4870665A (en) * | 1988-08-04 | 1989-09-26 | Gte Government Systems Corporation | Digital pulse generator having a programmable pulse width and a pulse repetition interval |
JP2981769B2 (ja) * | 1990-11-28 | 1999-11-22 | セイコーインスツルメンツ株式会社 | 波形表示装置 |
US5321420A (en) * | 1991-04-26 | 1994-06-14 | Motorola, Inc. | Operator interface for an electronic measurement system |
US5293628A (en) * | 1991-11-04 | 1994-03-08 | Motorola, Inc. | Data processing system which generates a waveform with improved pulse width resolution |
US5381524B2 (en) * | 1991-11-12 | 1997-07-08 | Chronology Corp | Automated development of timing diagrams for electrical circuits |
US5469544A (en) * | 1992-11-09 | 1995-11-21 | Intel Corporation | Central processing unit address pipelining |
US5745386A (en) * | 1995-09-25 | 1998-04-28 | International Business Machines Corporation | Timing diagram method for inputting logic design parameters to build a testcase for the logic diagram |
JP2003532325A (ja) * | 2000-04-26 | 2003-10-28 | コーニンクレッカ フィリップス エレクトロニクス エヌ ヴィ | 周期的な非線形波形を生成する装置および方法 |
JP3710361B2 (ja) * | 2000-06-20 | 2005-10-26 | キヤノン株式会社 | 撮像装置 |
US6717992B2 (en) * | 2001-06-13 | 2004-04-06 | Time Domain Corporation | Method and apparatus for receiving a plurality of time spaced signals |
US6745376B2 (en) * | 2001-09-17 | 2004-06-01 | International Business Machines Corporation | Several improvements for timing diagrams |
DE10147166A1 (de) * | 2001-09-25 | 2003-04-24 | Siemens Ag | System und Verfahren zur Programmierung eines Automatisierungssystems basierend auf Impulsdiagrammen |
US7093240B1 (en) * | 2001-12-20 | 2006-08-15 | Unisys Corporation | Efficient timing chart creation and manipulation |
US7013430B2 (en) * | 2002-01-25 | 2006-03-14 | Agilent Technologies, Inc. | Rapid graphical analysis of waveforms using a pointing device |
US20040032412A1 (en) * | 2002-08-13 | 2004-02-19 | Odom Brian Keith | Generating a graphical program based on a timing diagram |
EP1496371A1 (en) * | 2003-07-07 | 2005-01-12 | Mitsubishi Electric Information Technology Centre Europe B.V. | Generation of packets of waveforms |
-
2006
- 2006-09-26 JP JP2006260338A patent/JP4716964B2/ja not_active Expired - Fee Related
-
2007
- 2007-02-15 US US11/706,221 patent/US7911466B2/en active Active
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPS6375879A (ja) * | 1986-09-18 | 1988-04-06 | Fujitsu Ltd | テストデ−タ編集機能付cad装置 |
JP2006053813A (ja) * | 2004-08-13 | 2006-02-23 | Fujitsu Ltd | 論理検証装置、論理検証方法、論理検証プログラムおよび記録媒体 |
Also Published As
Publication number | Publication date |
---|---|
JP2008083780A (ja) | 2008-04-10 |
US7911466B2 (en) | 2011-03-22 |
US20080077896A1 (en) | 2008-03-27 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US7958473B2 (en) | Method and computer program for configuring an integrated circuit design for static timing analysis | |
JP5267434B2 (ja) | 検証支援プログラム、検証支援装置および検証支援方法 | |
JP4261502B2 (ja) | 検証支援装置、検証支援方法、検証支援プログラム、および記録媒体 | |
JP4716964B2 (ja) | タイミングダイアグラム編集プログラム、タイミングダイアグラム編集装置およびタイミングダイアグラム編集方法 | |
JP2008083781A (ja) | 検証支援プログラム、該プログラムを記録した記録媒体、検証支援装置、および検証支援方法 | |
JP4747034B2 (ja) | 検証シナリオ作成プログラム、記録媒体、検証シナリオ作成装置および検証シナリオ作成方法 | |
JP2010128562A (ja) | リーク電流分布検証支援プログラム、リーク電流分布検証支援装置およびリーク電流分布検証支援方法 | |
JP2010003281A (ja) | 検証支援プログラム、検証支援装置および検証支援方法 | |
JP5267327B2 (ja) | 設計支援プログラム、設計支援装置、および設計支援方法 | |
JP4355525B2 (ja) | 検証支援方法、検証支援プログラムおよび検証支援装置 | |
US8458110B2 (en) | Verification support apparatus, verification support method, and computer product | |
JP4370335B2 (ja) | Lsi解析プログラム、該プログラムを記録した記録媒体、lsi解析装置、およびlsi解析方法 | |
JP4893811B2 (ja) | 検証支援プログラム、および検証支援装置 | |
JP4747036B2 (ja) | Lsi解析プログラム、該プログラムを記録した記録媒体、lsi解析装置、およびlsi解析方法 | |
JP5348065B2 (ja) | 検証支援プログラム、検証支援装置および検証支援方法 | |
JP4682059B2 (ja) | フォールスパス記述情報生成プログラム、フォールスパス記述情報生成装置およびフォールスパス記述情報生成方法 | |
JP5163308B2 (ja) | Ipモデル生成装置、ipモデル生成方法、およびipモデル生成プログラム | |
JP5263393B2 (ja) | 設計支援方法、設計支援装置、および設計支援プログラム | |
JP4828318B2 (ja) | 複数様式帳票統合印刷方法、システム及びプログラム | |
JP4516385B2 (ja) | アセンブリ構成の設計装置、アセンブリ構成の設計方法、アセンブリ構成の設計プログラム、およびアセンブリ構成の設計プログラムを記録した記録媒体 | |
JP2007257375A (ja) | 遅延解析プログラム、記録媒体、遅延解析方法、および遅延解析装置 | |
JP5109960B2 (ja) | 検証支援プログラム、検証支援装置、および検証支援方法 | |
JP4659892B2 (ja) | 設計ルール検証プログラム、該プログラムを記録した記録媒体、および設計ルール検証装置 | |
JP2006146711A (ja) | タイミング例外パス検出装置、タイミング例外パス検出方法およびタイミング例外パス検出プログラム | |
JP2010271853A (ja) | 検証支援プログラム、検証支援装置、および検証支援方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20081117 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20101018 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20101026 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20101227 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20110322 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20110329 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 Ref document number: 4716964 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20140408 Year of fee payment: 3 |
|
LAPS | Cancellation because of no payment of annual fees |