EDIF – 日本の辞書

EDIF
EDIF（Electronic Design Interchange Format ）は、電子ネットリストと回路図を格納するS式に基づくベンダー中立の形式です。これは、電子設計自動化（EDA）業界向けの中立的なデータ交換フォーマットを確立する最初の試みの1つでした。目標は、EDAシステムの独自のフォーマットを導き出すことができる共通のフォーマットを確立することでした。顧客が1つのシステムから別のシステムにデータを転送する必要がある場合、ある形式から別の形式にトランスレータを作成する必要がありました。フォーマットの数（N）が増えると、トランスレータの問題はNになりました-二乗問題。EDIFを使用すると、翻訳者の数を関連するシステムの数に減らすことができると期待されていました。
EDA企業の代表者DaisySystems 、 Mentor Graphics、Motorola、National Semiconductor、Tektronix、Texas Instruments、カリフォルニア大学バークレー校は、 1983年11月にEDIF運営委員会を設立しました。その後、マンチェスター大学のコンピューターサイエンス教授であるHilary Kahn、チームに参加し、バージョンEDIF 2 00から最終バージョン400までの開発を主導しました。

コンテンツ
1 構文
2 バージョン
2.1 EDIF 2 0 0 2.2 EDIF 3 0 0 2.3 EDIF 4 0 0
3 進化
3.1 2 00の問題 3.2 EDIF 2 00の問題の解決策 3.3 EDIFの子孫
4 外部リンク

構文
EDIFの一般的な形式では、括弧を使用してデータ定義を区切ります。このように、表面的にはLispに似ています。EDIF 2.0.0の基本的なトークンは、キーワード（ライブラリ、セル、インスタンスなど）、文字列（二重引用符で区切られる）、整数、記号定数（GENERIC、TIE、セルタイプのRIPPERなど）および「識別子」でした。、非常に制限された文字のセットから形成された参照ラベルです。EDIF 3.0.0および4.0.0は、代わりにキーワードを使用して、シンボリック定数を完全に削除しました。したがって、EDIFの構文はかなり単純な基盤を持っています。典型的なEDIFファイルは次のようになります。（edif fibex （edifVersion 2 0 0 ）（edifLevel 0 ）（keywordMap （keywordLevel 0 ））（status （written （timeStamp 1995 1 1 1 1 1 ）（program “xxx” （version “v1” ））））（library xxx （edifLevel 0 ）（technology （numberDefinition （scale 1 （e 1 -6 ）（unit distance ））））（cell dff_4 （cellType generic ）（view view1 （viewType netlist ）（interface （port aset （direction INPUT ））（port clok （方向 INPUT ）） … （セル yyy （セルタイプジェネリック）（ビュー schematic_ （viewType ネットリスト）（インターフェイス（ポート CLEAR （方向 INPUT ））（ポート CLOCK （方向 INPUT ）） … ）（コンテンツ（インスタンス I_36_1 （viewRef view1 （cellRef dff_4 ）））（instance （rename I_36_3 “I $ 3” ）（viewRef view1 （cellRef addsub_4 ）））
…（net CLEAR （joined（portRef CLEAR ）（portRef aset （instanceRef I_36_1 ））（portRef aset （instanceRef I_36_3 ）））） ..。

バージョン
EDIFの100リリースは1985年に行われました。

EDIF 2 0 0
EDIFの最初の「実際の」公開リリースはバージョン200で、これは1988年3月に標準のANSI / EIA-548-1988として承認されました。単行本で出版されています。このバージョンには正式なスコープステートメントはありませんが、キャプチャしようとするものは、定義されたviewTypeによってカバーされます。
細胞の振る舞いを説明する振る舞い
セルのドキュメントを説明するドキュメント
GRAPHICは、表示可能または印刷可能な情報のダムグラフィックスおよびテキスト表現を記述します
セルの論理シミュレーションモデルを説明するLOGICMODEL
集積回路レイアウトを説明するMASKLAYOUT
ネットリストを説明するNETLIST
プリント回路基板を説明するPCBLAYOUT
セルのスケマティック表現と接続性を説明するスケマティック
まだ未知の細胞の表現を説明するSTRANGER
シンボリックレイアウトを説明するSYMBOLIC
業界はこのリリースを数年間テストしましたが、最終的にはNETLISTビューのみが広く使用され、一部のEDAツールは現在もEDIF 2 00でサポートしています。
メインの200標準の問題を克服するために、さらにいくつかのドキュメントがリリースされました。
電子工業会
EDIFモノグラフシリーズ、第1巻、EDIFの概要、EIA / EDIF-1、1988年9月
EDIFモノグラフシリーズ、第2巻、EDIFコネクティビティ、EIA / EDIF-2、1989年6月
回路図転送にEDIF2 0 0を使用、EIA / EDIF / AG-1、1989年7月
マンチェスター大学コンピュータサイエンス学部のHilaryJ.Kahnによるドキュメント
EDIF 2 0 0、入門チュートリアル」、1989年9月
EDIFの質問と回答、第1巻、1988年11月
EDIFの質問と回答、第2巻、1989年2月
EDIFの質問と回答、第3巻、1989年7月
EDIFの質問と回答、第4巻、1989年11月
EDIFの質問と回答、第5巻、1991年6月

EDIF 3 0 0
2 0 0リリースにはいくつかの根本的な弱点があるため、EIA標準EIA-618の指定を受けて、互換性のない新しいリリース3 00が1993年9月にリリースされました。その後、ANSIおよびISOの指定を取得しました。4巻で発行されています。このバージョンの主な焦点は、2 00からのviewTypesNETLISTおよびSCHEMATICでした。MASKLAYOUT、PCBLAYOUT、およびその他のいくつかのビューは、このリリースから削除され、これらのビューの作業が完全に完了していなかったため、今後のリリースに移行されました。
EDIF 3 0 0は、国際電気標準会議からIEC61690-1として入手できます。

EDIF 4 0 0
EDIF 4 0 0は、主に「プリント回路基板」拡張機能（元のPCBLAYOUTビュー）をEDIF 3 00に追加するために1996年8月下旬にリリースされました。これはEDIF3 0 0の2倍以上のサイズであり、HTML形式で公開されます。 CDで。
EDIF 4 0 0は、国際電気標準会議からIEC61690-2として入手できます。

進化

2 00の問題
で信頼できる情報源に引用を追加して、このセクションの改善にご協力調達されていない資料は、異議を申し立てられ、削除される可能性が
ユーザーとベンダーがEDIF2 0 0で遭遇した問題を理解するには、まず、電子産業のすべての要素とダイナミクスを描く必要がこの標準を必要としたのは主に設計エンジニアで、家のガレージから数千人のエンジニアがいる数十億ドル規模の施設までさまざまな規模の企業で働いていました。これらのエンジニアは、1980年代後半に主に回路図面とネットリストを使用して作業しました。大きな推進力は、回路図面からネットリストを自動的に生成することでした。最初のサプライヤは、Electronic Design Automationベンダーでした（たとえば、Daisy、Mentor、およびValidが最も初期の主要なセットを形成しました）。これらの企業は、この市場でのシェアをめぐって激しく競争しました。
これらの企業が顧客を「獲得」するために使用した戦術の1つは、独自のデータベースでした。それぞれに、他にはない特別な機能がありました。特定のベンダーのソフトウェアを使用して設計を入力することが決定されると、顧客はその後、他のソフトウェアを使用しないように制約されました。ベンダーAのシステムからベンダーBのシステムに移行するということは、通常、ほとんどすべての設計データを手作業で新しいシステムに再入力するという非常に費用のかかることを意味していました。この「移行」の費用が、設計エンジニアを単一のベンダーの使用に縛り付けた主な要因でした。
しかし、「顧客」は別の欲求を持っていました。彼らはすぐに、ベンダーAは本当に素晴らしいアナログシミュレーション環境を持っているかもしれないが、ベンダーBははるかに優れたPCBまたはシリコンレイアウトの自動ルーターを持っていることに気づきました。そして彼らは、さまざまなベンダーの中から選んで選択できることを望んでいました。
EDIFは、主に電子機器設計のエンドユーザーとその企業によってサポートされていました。EDAベンダーも関わっていましたが、彼らの動機は、顧客を遠ざけたくないという方針に沿っていました。ほとんどのEDAベンダーはEDIF2 0 0トランスレーターを作成しましたが、高品質のEDIFリーダーの作成に間違いなく関心があり、EDIF（EDIFライター）を生成するソフトウェアを作成する動機はまったくありませんでした。別のベンダーのソフトウェアへの大量移行の顧客。
結果はかなり面白かったです。構文やセマンティクスの重大な違反がないEDIF2 00出力を作成したソフトウェアベンダーはほとんどありません。セマンティクスは十分に緩いため、同じデータを記述する方法がいくつかある可能性がこれはEDIFの「フレーバー」として知られるようになりました。ベンダー企業は、たとえ大量に販売したとしても、EDIF製品に多くのリソースを割り当てることが常に重要であるとは感じていませんでした。何年もの間それらを維持するために事実上誰もいないアクティブな製品のいくつかの物語がありました。ユーザーの苦情は単に収集され、優先順位が付けられました。顧客データをEDIFにエクスポートすることが難しくなるほど、ベンダーはそれを好むように見えました。EDIFトランスレータを作成した人は、その日の現存するEDIF 2 0 0ライターによって生成された低品質のコードを処理してつなぎ合わせることができる、十分に強力で寛容な人工知能リーダーの生成に多大な時間と労力を費やしたことに気付きました。。
EDIF 3 0 0を設計する際に、委員会は言語の欠点、ベンダーによるEDIF 2 0 0の山積み、エンドユーザーのフラストレーションをよく認識していました。そのため、言語のセマンティクスを強化し、標準のより正式な説明を提供するために、情報モデリング言語EXPRESSでEDIFの情報モデルを提供するための革新的なアプローチが採用されました。これは、標準をより適切に文書化するのに役立ちましたが、構文の作成はモデルから生成されるのではなく、モデルとは独立して行われたため、後付けとして行われました。また、標準では構文とモデルが一致しない場合はモデルが標準であると規定されていますが、実際にはそうではありません。構文のBNF記述は、設計記述を生成する日常の作業を行うソフトウェアが固定構文に基づいているため、言語の基盤です。情報モデルは、EDIFの記述に理想的に適していない（そして適していない）という事実にも悩まされていました。名前空間などの概念はまったく説明されておらず、定義と参照の違いも明確に説明できません。また、制約を記述するためのEXPRESSの構成は形式的かもしれませんが、制約の記述は時にはかなり複雑な問題です。したがって、ほとんどの制約は、コメントとして記述されるだけになりました。他のほとんどは、ほとんどの読者が解読できない精巧な正式な説明になりました。したがって、プログラムのレビューで見栄えがするように、自動デバッグ/コンパイルに耐えられない可能性がありますが、コンパイラはいくつかの興味深いエラーを見つける可能性が書かれたプログラムを実際に実行すると、さらに興味深いエラーが見つかる可能性が（さらに、類似のEXPRESSコンパイラ/エグゼキュータは、標準が作成されたときには存在していなかったため、今日でも存在しない可能性があります！）

EDIF 2 00の問題の解決策
EDIF 2 0 0の「フレーバー」問題の解決策は、EDIF 3 0 0（1993）でより具体的なセマンティック記述を開発することでした。確かに、EDIF 3 0 0の翻訳者を生成した人々の報告された結果は、セマンティックの制限が多数あるために、ライターを正しく理解するのがはるかに困難になり、リーダーを開発するのが比較的簡単であるというものでした。
ベンダーの「利害の対立」に対する解決策は、ベンダーのインターフェースに基づいてEDIF製品を提供できる中立的なサードパーティ企業でした。EDIF製品をベンダーの直接制御から分離することは、エンドユーザーコミュニティに適切に機能するツールを提供するために重要でした。それは自然にそしてコメントなしで形成されました。Engineering DataXpressは、おそらくこの分野で最初のそのような会社であり、Electronic ToolsCompanyは1990年代半ばから後半に市場を獲得したようです。この業界のもう1つの原動力は、EDIF自体です。それらがかなり大きなサイズに成長したので、リーダーとライターを生成することは非常に高価な提案になりました。通常、サードパーティ企業は必要なスペシャリストを集めており、この専門知識を使用してソフトウェアをより効率的に生成できます。また、個々のベンダーが利用できなかったコード共有やその他の手法を活用することもできます。2000年までに、ほとんどの主要ベンダーは独自のEDIFツールを作成せず、代わりにOEMサードパーティツールを選択しました。
EDIF 4 0 0のリリース以来、EDIF標準化団体全体が本質的に解散しました。技術小委員会、EDIFエキスパートグループなどの会議は公開され関係する個人のほとんどは、他の企業や取り組みに移っています。ニュースレターは廃止され、ユーザーグループは年次会議を開催しなくなりました。EDIF 3 00および400は、ANSI、IEC、およびヨーロッパ（EN）規格になりました。EDIFバージョン300はIEC / EN 61690-1であり、EDIFバージョン4 00はIEC / EN61690-2です。

EDIFの子孫
LKSoftは、EDIF 2 0 0の主要な概念を採用して、ドイツのガルプセン/ハノーバーにあるLPKF Laser＆Electronics AGが提供し、現在はDCT Co.、Ltdが所有するCircuitCAMシステムのデフォルト拡張子「.cam」を使用して独自のデータ形式を作成しました。。中国のTianjnで。EDIFのようなフォーマットで効率的に作業するために、LKSoftはCプログラミング言語のAPIであるEDIF手続き型インターフェースを開発しました。
図研（旧Racal-Redac Ltd.）は、初期のEDIF 4 0 0開発のコンセプトを取り入れて、VisulaPCB -CADシステム用のCADIFと呼ばれる新しい独自のフォーマットを作成しました。この形式は、サードパーティベンダーでも広く使用されています。
ISO 10303の一部であるSTEP-AP210は、回路図を除くすべてのEDIF 4 00機能を実質的に継承しました。

外部リンク
BYUEDIFツールBYUのConfigurableComputingLabによって開発および保守されているEDIFファイルを解析/操作するためのJavaフレームワーク
ISIの再構成可能コンピューティンググループからのEDIF2 0 0の解析と操作を含む、再構成可能コンピューティング用のTorcオープンソースC ++ API
Elgris Technologies、Inc。のEDIFの概要
www.edif.orgのインターネットアーカイブアーカイブにあるwww.edif.org（現在は機能していません）には、EDIF形式の紹介が含まれています
VLSI設計のためのコンピュータ支援-付録D：スティーブンM.ルービンによる電子設計交換フォーマット
ヒラリー・カーン教授（1943-2007）