JP2009223697A - 検証装置及び検証方法 - Google Patents
検証装置及び検証方法 Download PDFInfo
- Publication number
- JP2009223697A JP2009223697A JP2008068458A JP2008068458A JP2009223697A JP 2009223697 A JP2009223697 A JP 2009223697A JP 2008068458 A JP2008068458 A JP 2008068458A JP 2008068458 A JP2008068458 A JP 2008068458A JP 2009223697 A JP2009223697 A JP 2009223697A
- Authority
- JP
- Japan
- Prior art keywords
- information
- logical connection
- connection information
- terminal
- verification
- 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.)
- Granted
Links
Images
Abstract
【解決手段】プリント基板に配置される部品の端子間の論理接続情報を有する設計仕様書情報を作成する仕様書作成手段と、前記設計仕様書情報から、前記論理接続情報を取得する論理接続情報取得手段と、前記設計仕様書情報に基づいて作成された回路図情報を入力する回路図入力手段と、前記論理接続情報取得手段によって取得された論理接続情報と、前記回路図情報における論理接続情報との一致性を検証する設計検証手段とを備える。
【選択図】図1
Description
図1は本実施形態の検証装置の機能構成を示す図である。図1の検証装置1では、プリント基板の設計仕様書に基づいて作成された回路図の論理接続を最終的に検証するが、設計仕様書を作成する段階において、設計仕様書の検証も単独に行うことができる。設計仕様書が有する設計仕様書情報には、例えば、プリント基板に配置される部品の情報、部品に含まれる端子の情報、端子間の論理接続情報等が含まれる。設計仕様書情報とは、設計仕様書に含まれる情報のうち、コンピュータによって処理されることのできる電子的な情報をいう。設計仕様書には、プリント基板に配置される部品の端子間の接続の情報を有する機能ブロック図、プリント基板の外部インタフェースとなるコネクターへの接続の情報を有するコネクター仕様表等がある。
図2は本実施形態における設計仕様書の作成から回路図の検証までのフロー図である。図2のステップS1では、仕様書作成部100において、設計仕様書が作成される。ステップS1に続いてステップS2に進み、論理接続情報取得部200が、ステップS1で作成された設計仕様書に含まれる設計仕様書情報の中から、論理接続情報を取得する。ステップS2に続くステップS3では、設計仕様書検証部300が、ステップS2で取得された論理接続情報により、設計仕様書に基づくプリント基板の端子間の論理接続の検証を行う。ステップS3に続いてステップS4に進み、カバレッジ測定部400が、ステップS2で取得された論理接続情報に基づき、設計仕様書において論理接続の仕様が確立された端子の割合を測定する。
図3及び図4は、設計仕様書の作成に用いられるシンボルを説明する図である。
図5は、シンボル作成部110によって作成される設計仕様書の例を示す図である。図5(A)では、部品のシンボルに含まれる端子のシンボルが、接続を表すシンボルによって接続されている。図5のシンボルa1は、部品「LSI1」の端子「ADD[10:31]」と、部品「MEM1」の端子「ADD[20:0]」及び部品「MEM2」の端子「ADD[18:0]」とを接続するバスを表すシンボルである。また、図5のシンボルa2は、部品「LSI1」の端子「DATA[0:15]」と、部品「MEM1」の端子「D_Q[15:0]」とを双方向信号により接続するバスを表すシンボルである。
図6は、論理接続情報を含む設計仕様書の例である。図6において、「CN103」は部品の識別情報である。また、「Pin No」はコネクターの端子の番号、「論理信号名」はコネクターの端子に入力され、あるいはその端子から出力される信号の識別情報、「I/O」は信号の方向を表す情報である。例えば、論理接続情報dにおいて、「A5」は端子の識別情報、「SBU_CLK」は信号の識別情報、「O」は信号の方向を表す情報である。
図7は、設計仕様書から取得された論理接続情報のカバレッジを説明する図である。図7において、左下がりの斜線のハッチングを施された端子が、設計仕様書に基づいて論理接続が確立された端子であり、右下がりの斜線のハッチングを施された端子が、設計仕様書に論理接続情報が含まれていない端子である。
図8は、設計仕様書に含まれている論理接続情報を検証する処理の例を示すフロー図である。図8では、設計仕様書検証部300によって、コネクター仕様表と機能ブロック図とに含まれている論理接続情報の検証が行われる。
図9は、図8のステップS108及びステップS109で行われる設計仕様書内の論理接続の検証の処理を示すフロー図である。図9では、設計仕様書検証部300により、コネクター仕様表及び機能ブロック図に含まれる論理接続情報が検証される。図9の処理は、一の論理接続情報毎に実行される。
図10は、設計仕様書検証部300により出力される、設計仕様書の検証結果の例を示す図である。図10(A)は、設計仕様書における検証結果のサマリーである。図10(A)では、検証によって検出された誤りの数が、誤りの種類毎に示されている。図10(A)において、論理接続情報カバレッジの情報eは、設計仕様書の検証において、論理接続が確立された端子の割合を表す。
図11は、設計仕様書に基づいて作成された回路図における論理接続情報を、設計仕様書に含まれている論理接続情報と比較することにより検証する処理の例を示すフロー図である。図11の処理は、設計検証部600によって行われる。図11のステップS21では、ライブラリ情報が読み込まれる。ライブラリ情報は、例えば、論理接続毎に対応する期待値である真理値の情報を有する。ステップS21に続いてステップS22に進み、設計仕様書の機能ブロック図に含まれている論理接続情報が読み込まれる。ステップS22に続いてステップS23に進み、設計仕様書のコネクター仕様表に含まれている論理接続情報が読み込まれる。
図12は、設計仕様書の論理接続情報によるネットリストの検証の処理を示すフロー図である。図12のステップS301では、設計仕様書の機能ブロック図とコネクター仕様書との間の、論理接続情報の矛盾の有無が検証される。この処理は、図8の処理と同様である。ステップS301に続いてステップS302に進み、ステップS301の処理において、設計仕様書の論理接続情報に矛盾が含まれていた場合には、処理を終了する。
図13は、図12のステップS305におけるネットリストを読み込む処理の詳細を示すフロー図である。
図14は、読み込まれたネットリストに含まれている端子の情報を、外部インタフェース信号の情報と対応づける処理の例を示すフロー図である。図14の処理は、図13のステップS404及びステップS411で行われる処理の詳細である。
図15は、図12から図14の処理によりネットリストが検証される際に、検出される誤りの種類を説明する図である。図15(A)は、コネクター仕様表に基づくネットリストの誤りの種類を説明する図である。図15(A)の「エラー番号」は、コネクター仕様表における信号の方向と、ネットリストにおける信号の方向とが異なる場合に、出力されるエラーを表す識別情報である。また、図15(B)の「エラー番号」は、設計仕様書とネットリストとで、端子の識別情報又は信号の情報の有無が異なる場合に、出力されるエラーを表す識別情報である。
100 仕様書作成部
110 シンボル作成部
111 部品選択部
113 接続選択部
115 出力部
130 論理接続表入力部
200 論理接続情報取得部
210 取得部
230 出力部
300 設計仕様書検証部
400 カバレッジ測定部
410 測定部
430 確立情報取得部
500 回路図入力部
600 設計検証部
610 期待値生成部
630 比較部
700 画面生成部
Claims (7)
- プリント基板に配置される部品の端子間の論理接続情報を有する設計仕様書情報を作成する仕様書作成手段と、
前記設計仕様書情報から、前記論理接続情報を取得する論理接続情報取得手段と、
前記設計仕様書情報に基づいて作成された回路図情報を入力する回路図入力手段と、
前記論理接続情報取得手段によって取得された論理接続情報と、前記回路図情報における論理接続情報との一致性を検証する設計検証手段と
を備えたことを特徴とする検証装置。 - 前記仕様書作成手段は、
前記部品のシンボルを選択させる部品選択手段と、
前記部品選択手段によって選択された複数の部品のシンボルにおける端子間の接続を表すシンボルを選択させる接続選択手段と、
前記端子間の接続を表すシンボルの始点の端子と終点の端子との接続関係を論理接続情報として出力する第1の出力手段と
を備えたことを特徴とする請求項1に記載の検証装置。 - 前記仕様書作成手段は、前記端子毎に、該端子に入力される信号あるいは当該端子から出力される信号の情報が対応づけられる論理接続情報が入力される接続情報入力手段
を備えたことを特徴とする請求項1または2のいずれか一項に記載の検証装置。 - 前記論理接続情報取得手段は、複数の前記論理接続情報において、同一の信号の情報を含む論理接続情報の端子を、互いに接続された端子とする
ことを特徴とする請求項3に記載の検証装置。 - 前記設計検証手段により検証された一致性を表示する画面を生成する画面生成手段
を備えたことを特徴とする請求項1乃至4のいずれか一項に記載の検証装置。 - 前記設計検証手段は、前記論理接続情報取得手段によって取得された論理接続情報における接続と、前記回路図情報の論理接続情報における接続とが一致した数により、前記一致性を検証する
ことを特徴とする請求項1乃至5のいずれか一項に記載の検証装置。 - プリント基板に配置される部品の端子間の論理接続情報を有する設計仕様書情報を作成する仕様書作成工程と、
前記設計仕様書情報から、前記論理接続情報を取得する論理接続情報取得工程と、
前記設計仕様書情報に基づいて作成された回路図情報を入力する回路図入力工程と、
前記論理接続情報取得工程によって取得された論理接続情報と、前記回路図情報における論理接続情報との一致性を検証する設計検証工程と
を備えたことを特徴とする検証方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2008068458A JP5107106B2 (ja) | 2008-03-17 | 2008-03-17 | 検証装置及び検証方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2008068458A JP5107106B2 (ja) | 2008-03-17 | 2008-03-17 | 検証装置及び検証方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2009223697A true JP2009223697A (ja) | 2009-10-01 |
JP5107106B2 JP5107106B2 (ja) | 2012-12-26 |
Family
ID=41240387
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2008068458A Expired - Fee Related JP5107106B2 (ja) | 2008-03-17 | 2008-03-17 | 検証装置及び検証方法 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP5107106B2 (ja) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013161370A (ja) * | 2012-02-07 | 2013-08-19 | Ricoh Co Ltd | 製品全体エレキ仕様の編集・検証システム |
JP2013196368A (ja) * | 2012-03-19 | 2013-09-30 | Ricoh Co Ltd | 検証装置、検証方法、検証プログラム |
Citations (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH04205565A (ja) * | 1990-11-30 | 1992-07-27 | Ricoh Co Ltd | 回路図入力装置及びその回路図入力方法 |
JPH04367075A (ja) * | 1991-06-13 | 1992-12-18 | Toshiba Corp | ハードウェア設計システム及び方法 |
JPH0744599A (ja) * | 1993-07-27 | 1995-02-14 | Ricoh Co Ltd | 回路図入力システム |
JPH07271840A (ja) * | 1994-03-28 | 1995-10-20 | Oki Electric Ind Co Ltd | ブロック図作成装置 |
JPH0816627A (ja) * | 1994-06-28 | 1996-01-19 | Nec Corp | 接続情報比較装置 |
JPH08221450A (ja) * | 1995-02-16 | 1996-08-30 | Toshiba Corp | 回路図面作成装置 |
JPH09259174A (ja) * | 1996-03-26 | 1997-10-03 | Fuji Xerox Co Ltd | 回路図dbと基板dbとの照合装置 |
JPH11282895A (ja) * | 1998-03-31 | 1999-10-15 | Aiphone Co Ltd | 電気系cadネットデータ検証方法および電気系cadネットデータ検証プログラムを記録した媒体 |
JP2002358342A (ja) * | 2001-05-31 | 2002-12-13 | Matsushita Electric Ind Co Ltd | 回路検証装置 |
JP2005196681A (ja) * | 2004-01-09 | 2005-07-21 | Matsushita Electric Ind Co Ltd | Lsi検証装置 |
JP2006350451A (ja) * | 2005-06-13 | 2006-12-28 | Sharp Corp | 回路設計支援装置、および回路設計支援方法 |
-
2008
- 2008-03-17 JP JP2008068458A patent/JP5107106B2/ja not_active Expired - Fee Related
Patent Citations (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH04205565A (ja) * | 1990-11-30 | 1992-07-27 | Ricoh Co Ltd | 回路図入力装置及びその回路図入力方法 |
JPH04367075A (ja) * | 1991-06-13 | 1992-12-18 | Toshiba Corp | ハードウェア設計システム及び方法 |
JPH0744599A (ja) * | 1993-07-27 | 1995-02-14 | Ricoh Co Ltd | 回路図入力システム |
JPH07271840A (ja) * | 1994-03-28 | 1995-10-20 | Oki Electric Ind Co Ltd | ブロック図作成装置 |
JPH0816627A (ja) * | 1994-06-28 | 1996-01-19 | Nec Corp | 接続情報比較装置 |
JPH08221450A (ja) * | 1995-02-16 | 1996-08-30 | Toshiba Corp | 回路図面作成装置 |
JPH09259174A (ja) * | 1996-03-26 | 1997-10-03 | Fuji Xerox Co Ltd | 回路図dbと基板dbとの照合装置 |
JPH11282895A (ja) * | 1998-03-31 | 1999-10-15 | Aiphone Co Ltd | 電気系cadネットデータ検証方法および電気系cadネットデータ検証プログラムを記録した媒体 |
JP2002358342A (ja) * | 2001-05-31 | 2002-12-13 | Matsushita Electric Ind Co Ltd | 回路検証装置 |
JP2005196681A (ja) * | 2004-01-09 | 2005-07-21 | Matsushita Electric Ind Co Ltd | Lsi検証装置 |
JP2006350451A (ja) * | 2005-06-13 | 2006-12-28 | Sharp Corp | 回路設計支援装置、および回路設計支援方法 |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013161370A (ja) * | 2012-02-07 | 2013-08-19 | Ricoh Co Ltd | 製品全体エレキ仕様の編集・検証システム |
US8661376B2 (en) | 2012-02-07 | 2014-02-25 | Ricoh Company, Ltd. | Editing system |
JP2013196368A (ja) * | 2012-03-19 | 2013-09-30 | Ricoh Co Ltd | 検証装置、検証方法、検証プログラム |
Also Published As
Publication number | Publication date |
---|---|
JP5107106B2 (ja) | 2012-12-26 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8201136B2 (en) | CAD apparatus, method, and computer product for designing printed circuit board | |
US20080294939A1 (en) | Debugging device and method using the lpc/pci bus | |
JP2006244073A (ja) | 半導体設計装置 | |
JP5050811B2 (ja) | 嵌合チェック支援装置および嵌合チェック支援プログラム | |
TWI274990B (en) | Systems and methods for linking a graphical display and an N-dimensional data structure in a graphical user interface | |
US8347256B2 (en) | System and method of assisting circuit design | |
JP4962285B2 (ja) | Cad装置およびcadプログラム | |
CN109754880B (zh) | 临床诊疗输出方法及装置 | |
CN113254284B (zh) | 芯片测试方法、装置、设备、存储介质以及程序产品 | |
JP5107106B2 (ja) | 検証装置及び検証方法 | |
JP5014215B2 (ja) | 検証装置及び検証方法 | |
CN105677524B (zh) | 测试组件、连接器和测试主板 | |
CN109885327A (zh) | 一种升级cpld的方法及装置 | |
JP4544118B2 (ja) | 回路検証システムと方法、及びプログラム | |
JP5020048B2 (ja) | プリント基板間電気的接続チェックシステム | |
TW200307219A (en) | Interactive circuit assembly test/inspection scheduling | |
US20100269080A1 (en) | Computer-aided design system and method for simulating pcb specifications | |
JP2008242903A (ja) | 回路設計検証システム、方法、及び、プログラム | |
JP6047900B2 (ja) | 検証装置、検証方法、検証プログラム | |
CN115081389A (zh) | 一种印刷电路板走线检查方法、装置、设备、存储介质 | |
JP2014222188A (ja) | 検査装置、検査方法、検査プログラム及び検査システム | |
CN107872687B (zh) | 监控系统中权限分配方法及系统 | |
US10625692B2 (en) | Prototype wiring synthesis | |
US8223404B2 (en) | Image forming system, computer readable recording medium storing image forming program and image forming method | |
TW201437834A (zh) | 直流電流傳輸設計檢測方法及裝置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20100412 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20111115 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20111122 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20120120 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20120321 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20120507 |
|
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: 20120904 |
|
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: 20121003 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5107106 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20151012 Year of fee payment: 3 |
|
LAPS | Cancellation because of no payment of annual fees |