Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
JP4664224B2 - Netlist generation method and generation apparatus - Google Patents
[go: Go Back, main page]

JP4664224B2 - Netlist generation method and generation apparatus - Google Patents

Netlist generation method and generation apparatus Download PDF

Info

Publication number
JP4664224B2
JP4664224B2 JP2006099251A JP2006099251A JP4664224B2 JP 4664224 B2 JP4664224 B2 JP 4664224B2 JP 2006099251 A JP2006099251 A JP 2006099251A JP 2006099251 A JP2006099251 A JP 2006099251A JP 4664224 B2 JP4664224 B2 JP 4664224B2
Authority
JP
Japan
Prior art keywords
information
netlist
rule file
input
net list
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
Application number
JP2006099251A
Other languages
Japanese (ja)
Other versions
JP2007272688A (en
Inventor
仁一 田中
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.)
Fujitsu Semiconductor Ltd
Original Assignee
Fujitsu Semiconductor Ltd
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 Fujitsu Semiconductor Ltd filed Critical Fujitsu Semiconductor Ltd
Priority to JP2006099251A priority Critical patent/JP4664224B2/en
Publication of JP2007272688A publication Critical patent/JP2007272688A/en
Application granted granted Critical
Publication of JP4664224B2 publication Critical patent/JP4664224B2/en
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Images

Description

この発明は、最上位ネットリストを生成する生成方法に関するものである。
半導体装置のレイアウト設計を行う前工程で、最上位ネットリストの生成が行われる。この最上位ネットリストの生成方法を効率化し、その工数を削減することが必要となっている。
The present invention relates to a generation method for generating a top netlist.
In the previous process for designing the layout of the semiconductor device, the top netlist is generated. It is necessary to make this top-level netlist generation method more efficient and reduce the man-hours.

図8は、外部仕様書の作成からレイアウト設計までの従来の工程を示す。顧客との打ち合わせに基づいてまず外部仕様書が作成され(ステップ1)、次いで外部仕様書に基づいて内部仕様が検討される(ステップ2)。   FIG. 8 shows a conventional process from creation of external specifications to layout design. An external specification is first created based on a meeting with a customer (step 1), and then an internal specification is examined based on the external specification (step 2).

次いで、最上位結線図が作成され(ステップ3)、その結線図に基づいて最上位ネットリストが生成される(ステップ4)。
最上位ネットリストが生成されると、論理検証処理が行われ(ステップ5)、エラーが発生した場合にはステップ3〜5を繰り返す。ステップ5において、エラーが存在しない場合には、論理合成処理が行われ(ステップ6)、最上位ネットリストに基づいてレイアウト設計が行われ(ステップ7)、製造工程に移行する。
特開2002−24311号公報
Next, a top connection diagram is created (step 3), and a top netlist is generated based on the connection diagram (step 4).
When the highest netlist is generated, a logic verification process is performed (step 5). If an error occurs, steps 3 to 5 are repeated. If there is no error in step 5, logic synthesis processing is performed (step 6), layout design is performed based on the highest netlist (step 7), and the process proceeds to the manufacturing process.
JP 2002-24311 A

上記のような最上位ネットリストの生成工程では、作業者の個人的なスキルが工数に大きく影響する。すなわち、ステップ2の内部仕様検討では、内部仕様を検討するために必要な回路要素を作業者自身が保持するデータの中から抽出して使用し、生成された内部仕様を内部仕様書として作成することなく、ステップ3に移行している。また、ステップ4ではネットリストの生成を手作業で行うため、作業者のスキルが低い場合にはミスも増大し、その修正のための工数が増大する。   In the generation process of the top netlist as described above, the worker's personal skill greatly affects man-hours. In other words, in the internal specification review in Step 2, circuit elements necessary for reviewing the internal specification are extracted from the data held by the operator and used, and the generated internal specification is created as an internal specification. Without proceeding to Step 3. Further, since the net list is manually generated in step 4, when the skill of the operator is low, mistakes increase and man-hours for correcting the increase increase.

以上のように、ネットリストの生成に際し、作業者のスキルが工数に大きく影響するという問題点がある。
特許文献1には、発注書→アルゴリズム設計→システム仕様設計→RTL記述→論理検証→ネットリスト→レイアウト設計の手順が開示され、IPを活用しながら、アルゴリズムとRTL記述とが等価であるか否かを検証して、設計効率を向上させる構成が開示されている。
As described above, when the net list is generated, there is a problem that the skill of the worker greatly affects the man-hours.
Patent Document 1 discloses a procedure of purchase order → algorithm design → system specification design → RTL description → logic verification → net list → layout design, and whether or not the algorithm and RTL description are equivalent while utilizing IP. A configuration for verifying the above and improving the design efficiency is disclosed.

しかし、アルゴリズムの設計を効率化し、かつ設計精度を向上させるための思想は開示されていない。
この発明の目的は、外部仕様書の作成から最上位ネットリストの生成までの工程を効率化し、かつ工数及び設計精度を作業者のスキルに関わらず平準化し得るネットリスト生成方法を提供することにある。
However, the idea for improving the efficiency of the algorithm design and improving the design accuracy is not disclosed.
An object of the present invention is to provide a netlist generation method capable of streamlining processes from creation of external specifications to generation of a top-level netlist, and leveling man-hours and design accuracy regardless of worker skills. is there.

上記目的は、ネットリスト生成装置が生成するネットリスト生成方法であって、前記ネットリスト生成装置の備える制御部が、入力画面に従ったフレームワークで入力されるパラメタレベルの結線情報と、記憶手段に格納された、あらかじめ設定されているマクロ情報とに基づいてネットリストを生成するための情報である汎用ポート情報、IP情報、アドレスデコード情報、割込み情報、ポート情報、I/O情報及び環境情報を含む論理仕様をルールファイルとして生成するネットリスト生成方法により達成される。 The above object is achieved by a net list generation method net list generating device generates the control unit provided in the said net list generating unit is input with the framework according to the input screen, the connection information of the parameter level, stored in the storage means, and macro information set in advance, on the basis of a general purpose port information is information for generating the netlist, IP information, address decoding information, interrupt information, port information, I / O This is achieved by a netlist generation method that generates a logical specification including information and environment information as a rule file.

本発明によれば、外部仕様書の作成から最上位ネットリストの生成までの工程を効率化し、かつ工数及び設計精度を作業者のスキルに関わらず平準化し得るネットリスト生成方法を提供することができる。   According to the present invention, it is possible to provide a netlist generation method capable of streamlining processes from creation of external specifications to generation of a top-level netlist, and leveling man-hours and design accuracy regardless of worker skills. it can.

以下、この発明を具体化した一実施の形態を図面に従って説明する。図7は、LSIの最上位ネットリスト生成装置の構成を示す。制御部1は、GUI(graphical・user・interface)装置を備え、作業者の入力操作によりデータベース2から品種情報、マクロデータ、雛形マスタ等を読み出し、階層マクロ生成エンジン3から階層マクロ情報を読み出す。そして、各情報に基づいてチップの基本情報の入力と、モジュールリストの入力と、PAD情報リストの入力と、割込み情報の入力と、IOマップの入力とを行う各入力画面を順次ディスプレイ4に表示する。   Hereinafter, an embodiment of the present invention will be described with reference to the drawings. FIG. 7 shows the configuration of an LSI top-level netlist generation apparatus. The control unit 1 includes a GUI (graphical user interface) device, reads product type information, macro data, a model master, and the like from the database 2 and inputs hierarchical macro information from the hierarchical macro generation engine 3 by an operator's input operation. Based on each information, each input screen for inputting basic information of the chip, inputting a module list, inputting a PAD information list, inputting interrupt information, and inputting an IO map is sequentially displayed on the display 4. To do.

制御部1は、各入力画面で外部仕様書に基づいて入力された各データから、具体的な結線情報等の内部仕様を生成し、ルールファイル5として保存する。
ルールファイル5は、変換エンジン6の動作により最上位ネットリスト10に自動的に変換されて保存される。また、ルールファイル5は帳票作成エンジン7により、内部仕様書7aとして出力可能である。
The control unit 1 generates internal specifications such as specific connection information from each data input based on the external specifications on each input screen, and stores the internal specifications as a rule file 5.
The rule file 5 is automatically converted into the highest netlist 10 by the operation of the conversion engine 6 and stored. The rule file 5 can be output as an internal specification 7 a by the form creation engine 7.

図1は、最上位ネットリスト生成装置による最上位ネットリストの生成手順を示す。この生成手順は、ルールファイル5を生成する論理情報生成ステップ8と、ルールファイル5から最上位ネットリスト10を生成するネットリスト生成ステップ9とに大別される。   FIG. 1 shows a procedure for generating a top netlist by the top netlist generating apparatus. This generation procedure is roughly divided into a logical information generation step 8 for generating the rule file 5 and a netlist generation step 9 for generating the highest netlist 10 from the rule file 5.

論理情報生成ステップ8は、チップ基本情報の入力(ステップ11)と、モジュールリストの入力(ステップ12)と、PAD情報リスト入力(ステップ13)と、割込み情報入力(ステップ14)と、アドレスマップ入力(ステップ15)とが順次行われる。   Logic information generation step 8 includes input of chip basic information (step 11), module list input (step 12), PAD information list input (step 13), interrupt information input (step 14), and address map input. (Step 15) are sequentially performed.

上記各ステップでは、作業者が各ステップにおいて前記ディスプレイ4上で入力情報をパラメタレベルで入力することにより、雛形テンプレート12、RTL(Resister Transfer Level)記述によるマクロRTL13、マクロ情報マスタ14にあらかじめ格納されているデータが読み出される。   In each of the above steps, the operator inputs the input information on the display 4 at the parameter level in each step, and is stored in advance in the template template 12, the macro RTL 13 based on the RTL (Resister Transfer Level) description, and the macro information master 14. Data is read.

図2は、前記論理情報生成ステップ8の処理を示す。前記各ステップ11〜15において、ディスプレイ4には対応する入力画面15a〜15eが表示される。各入力画面15a〜15eは、雛形テンプレート12に格納されているデータと、マクロ情報マスタ14に格納されているデータとに基づいて表示される。そして、各入力画面15a〜15eにおいて、空欄で表示されるデフォルト値をパラメタレベル(テキストレベル)で初期設定する。各入力画面15b〜15eは、その前画面における入力操作が完了するまで表示されない。   FIG. 2 shows the processing of the logical information generation step 8. In each of the steps 11 to 15, the corresponding input screens 15 a to 15 e are displayed on the display 4. Each of the input screens 15 a to 15 e is displayed based on the data stored in the template template 12 and the data stored in the macro information master 14. And in each input screen 15a-15e, the default value displayed by the blank is initialized at a parameter level (text level). The input screens 15b to 15e are not displayed until the input operation on the previous screen is completed.

各入力画面15a〜15eによるフレームワークで初期設定されたパラメタレベルの入力情報は、制御部1で入力書式から出力書式に変換されて、ルールファイル5が生成される。図3は、各入力画面15a〜15eで初期設定される入力情報と、その入力情報を変換して生成されるルールファイル5との関係を示す。   The parameter level input information initially set by the framework of the input screens 15a to 15e is converted from the input format to the output format by the control unit 1, and the rule file 5 is generated. FIG. 3 shows the relationship between the input information initially set on each of the input screens 15a to 15e and the rule file 5 generated by converting the input information.

各ステップ11〜15の入力処理により、マクロ情報マスタ14から各データが読み出される。そして、これらのデータと入力画面15a〜15dで初期設定された入力情報とにより、図3に示す各情報がルールファイル5として生成される。   Each data is read from the macro information master 14 by the input process of each step 11-15. Then, each piece of information shown in FIG. 3 is generated as a rule file 5 based on these data and the input information initially set on the input screens 15a to 15d.

その情報は、汎用ポート情報16、IP情報17、アドレスデコード情報18、割込み情報19、ポート情報20、I/O情報21及び環境情報22である。
図5は、前記入力画面15a〜15eの一例であり、ステップ13のPAD情報リスト入力画面を示す。同図において、空欄23aは結線の始点を入力する欄であり、空欄23bは結線の終点を入力する欄である。
The information includes general-purpose port information 16, IP information 17, address decode information 18, interrupt information 19, port information 20, I / O information 21, and environment information 22.
FIG. 5 is an example of the input screens 15a to 15e, and shows the PAD information list input screen in step 13. In the figure, a blank field 23a is a field for inputting a connection start point, and a blank field 23b is a field for inputting a connection end point.

前記空欄23a,23bに始点情報と終点情報を入力した状態で、設定ボタン24をクリックすると、空欄23cには前記マクロ情報マスタ14に格納されているデータに基づいて自動的に接続先IPのインスタンス名及び端子名が自動的に設定される。   When the setting button 24 is clicked with the start point information and end point information entered in the blanks 23a and 23b, the instance of the connection destination IP is automatically entered in the blank 23c based on the data stored in the macro information master 14. Name and terminal name are set automatically.

図6は、論理情報生成ステップ8のナビゲーター画面を示し、前記各ステップ11〜15の進行状況を示すものであり、図5に示す選択ボタン25をクリックすることにより表示される。   FIG. 6 shows the navigator screen of the logical information generation step 8, showing the progress status of each of the steps 11 to 15, which is displayed by clicking the selection button 25 shown in FIG.

そして、第一〜第四のステータス31a〜31dが表示され、第一のステータス31aは品種情報入力、すなわち前記ステップ11,12の入力処理が終了したか否かを示す。第二のステータス31bは前記ステップ13の入力処理が終了したか否かを示し、第三のステータス31cは前記ステップ14の入力処理が終了したか否かを示す。また、第四のステータス31dは前記ステップ15の入力処理が終了したか否かを示す。   Then, the first to fourth statuses 31a to 31d are displayed, and the first status 31a indicates whether or not the product information input, that is, the input processing in steps 11 and 12 has been completed. The second status 31b indicates whether or not the input process in step 13 has been completed, and the third status 31c indicates whether or not the input process in step 14 has been completed. The fourth status 31d indicates whether or not the input process in step 15 has been completed.

そして、入力中のステータスが例えば赤色で表示され、入力完了ステータスが青色で表示され、未入力ステータスが無色で表示される。また、入力中ステータス及び入力完了ステータスは、入力作業が可能であり、未入力ステータスは入力作業不可である。   For example, the status being input is displayed in red, the input completion status is displayed in blue, and the uninput status is displayed in colorless. The input status and the input completion status can be input, and the non-input status cannot be input.

図1において、前記ネットリスト生成ステップ9は、ルールファイル5に基づいて接続ルールファイルの作成(ステップ16)、I/Oフレームの生成(ステップ17)、アドレスデコーダの生成(ステップ18)、ネットリスト変換処理(ステップ19)の各工程を経て最上位ネットリスト10を自動的に生成する。   In FIG. 1, the net list generation step 9 includes creation of a connection rule file based on the rule file 5 (step 16), generation of an I / O frame (step 17), generation of an address decoder (step 18), net list. The top netlist 10 is automatically generated through each step of the conversion process (step 19).

ステップ16では、ルールファイル5から接続ルールを作成してファイル26aに格納し、ステップ17ではルールファイル5とI/Oフレームコントロールファイル27に格納されているデータからRTL記述のポート情報を生成してファイル26bに格納する。   In step 16, a connection rule is created from the rule file 5 and stored in the file 26a. In step 17, port information in the RTL description is generated from the data stored in the rule file 5 and the I / O frame control file 27. Store in file 26b.

ステップ18では、ルールファイル5とアドレスデコーダコントロールファイル28に格納されているデータからRTL記述のアドレスデコーダ情報を生成してファイル26cに格納する。   In step 18, address decoder information described in the RTL description is generated from the data stored in the rule file 5 and the address decoder control file 28, and stored in the file 26c.

ステップ19では、ファイル26a〜26cに格納された各情報と、ファイル26dにあらかじめ格納されているマクロ情報とによりネットリストを生成する処理を行う。図4は、ステップ19の処理内容を示すものである。   In step 19, a process for generating a netlist is performed based on the information stored in the files 26a to 26c and the macro information stored in advance in the file 26d. FIG. 4 shows the processing contents of step 19.

同図に示すように、ファイル26a〜26dに格納されているRTL記述の各情報を例えばXML形式の言語に変換し、それらの情報とルールファイル5においてテキストレベルで記述された接続情報29とを組み合わせて、Verilog形式のRTL情報30にテキスト変換して、最上位ネットリスト10を生成する。   As shown in the figure, each information of the RTL description stored in the files 26a to 26d is converted into, for example, an XML format language, and the information and the connection information 29 described at the text level in the rule file 5 are obtained. In combination, the text is converted into the RTL information 30 in the Verilog format, and the highest netlist 10 is generated.

そして、最上位ネットリスト10の検証が行われ、エラーが発生した場合には、論理情報生成ステップ8のステップ13に復帰する。また、エラーが発生していなければ、レイアウト設計に移行する。   Then, the highest netlist 10 is verified, and if an error occurs, the process returns to step 13 of the logical information generation step 8. If no error has occurred, the process proceeds to layout design.

上記のように生成されたルールファイル5は、データベース2に格納されて論理設計情報として管理される。すなわち、上記フレームワーク上での操作履歴と、ルールファイル5の識別版数及びルールファイル5から生成される内部仕様書の識別版数を対応づけて管理する。   The rule file 5 generated as described above is stored in the database 2 and managed as logic design information. That is, the operation history on the framework, the identification version number of the rule file 5 and the identification version number of the internal specification generated from the rule file 5 are managed in association with each other.

上記のように構成された最上位ネットリスト生成装置では、次に示す作用効果を得ることができる。
(1)制御部1のディスプレイ4に表示される入力画面15a〜15eで、パラメタレベルの入力情報を順次設定するフレームワークにより、内部仕様書に相当するルールファイル5を自動的に生成することができる。従って、ルールファイル5の生成を平準化することができる。
(2)ルールファイル5の生成を平準化することができるので、作業者のスキルに依存して工数が増減することはなく、生成されるルールファイル5の精度を向上させることができる。
(3)ネットリスト生成ステップ9により、ルールファイル5から最上位ネットリスト10を自動的に生成することができる。従って、精度の高い最上位ネットリスト10を生成することができる。
(4)テキストレベルで生成されたルールファイル5から、帳票作成エンジン7により種々の内部仕様書7aを容易に生成することができる。
(5)ルールファイル5をデータベース2に格納して管理することができる。従って、ルールファイル5を構成するマクロ情報に改版が生じた場合には、データベース2から当該マクロを搭載する製品を検索して修正することにより、改版管理が容易である。
With the highest-level netlist generation device configured as described above, the following operational effects can be obtained.
(1) A rule file 5 corresponding to an internal specification can be automatically generated by a framework for sequentially setting parameter level input information on the input screens 15a to 15e displayed on the display 4 of the control unit 1. it can. Therefore, the generation of the rule file 5 can be leveled.
(2) Since the generation of the rule file 5 can be leveled, man-hours do not increase or decrease depending on the skill of the operator, and the accuracy of the generated rule file 5 can be improved.
(3) The netlist generation step 9 can automatically generate the highest netlist 10 from the rule file 5. Therefore, it is possible to generate the top netlist 10 with high accuracy.
(4) Various internal specifications 7a can be easily generated by the form creation engine 7 from the rule file 5 generated at the text level.
(5) The rule file 5 can be stored and managed in the database 2. Accordingly, when a revision occurs in the macro information constituting the rule file 5, the revision management can be easily performed by searching the database 2 for a product on which the macro is mounted and correcting it.

一実施の形態の最上位ネットリストの生成手順を示すフローチャートである。It is a flowchart which shows the production | generation procedure of the highest netlist of one Embodiment. 論理情報生成ステップの処理を示す説明図である。It is explanatory drawing which shows the process of a logical information generation step. ルールファイルの内容を示す説明図である。It is explanatory drawing which shows the content of a rule file. ネットリスト変換処理を示す説明図である。It is explanatory drawing which shows a net list conversion process. 入力画面の一例を示す説明図である。It is explanatory drawing which shows an example of an input screen. 論理情報生成ステップのナビゲーター画面を示す説明図である。It is explanatory drawing which shows the navigator screen of a logical information generation step. 最上位ネットリスト生成装置を示す構成図である。It is a block diagram which shows the highest netlist production | generation apparatus. 従来の最上位ネットリスト生成工程を示すフローチャートである。It is a flowchart which shows the conventional highest netlist production | generation process.

符号の説明Explanation of symbols

1 制御部
2 データベース
4 ディスプレイ
5 ルールファイル
15a〜15e 入力画面
DESCRIPTION OF SYMBOLS 1 Control part 2 Database 4 Display 5 Rule file 15a-15e Input screen

Claims (5)

ネットリスト生成装置が生成するネットリストの生成方法であって、
前記ネットリスト生成装置の備える制御部が、
力画面に従ったフレームワークで入力されるパラメタレベルの結線情報と
記憶手段に格納された、あらかじめ設定されているマクロ情報と
に基づいてネットリストを生成するための情報である汎用ポート情報、IP情報、アドレスデコード情報、割込み情報、ポート情報、I/O情報及び環境情報を含む論理仕様をルールファイルとして生成することを特徴とするネットリスト生成方法。
A netlist generating method generated by a netlist generating device,
The control unit provided in the net list generation device,
Entered in the framework according to the input screen, the connection information of the parameter level,
Preset macro information stored in the storage means ;
Based on the general-purpose port information is information for generating the netlist, IP information, address decoding information, interrupt information, port information, to generate a rule file logical specification including I / O information and environment information A characteristic netlist generation method.
前記ネットリスト生成装置の備える変換エンジンが、前記ルールファイルをテキストレベルの変換処理することにより、ネットリストを生成することを特徴とする請求項1記載のネットリスト生成方法。 The netlist generation method according to claim 1 , wherein the conversion engine included in the netlist generation apparatus generates a netlist by performing a text level conversion process on the rule file. 前記ルールファイルをデータベースに格納し
前記ルールファイルを改版管理可能としたことを特徴とする請求項1又は2記載のネットリスト生成方法。
Storing the rule file in a database ;
3. The net list generation method according to claim 1, wherein the rule file can be managed by revision.
前記ネットリスト生成装置の備える帳票作成エンジンが、前記ルールファイルから、内部仕様書を生成することを特徴とする請求項1乃至3のいずれか1項に記載のネットリスト生成方法。 4. The net list generation method according to claim 1 , wherein a form creation engine included in the net list generation device generates an internal specification from the rule file. 5. パラメタレベルの結線情報をフレームワークで入力可能とするGUI装置と、
前記GUI装置を備え、前記結線情報と、あらかじめ格納されたマクロ情報から、ネットリストを生成するための情報である汎用ポート情報、IP情報、アドレスデコード情報、割込み情報、ポート情報、I/O情報及び環境情報を含む論理仕様をルールファイルとして生成する制御部と
を備えたことを特徴とするネットリスト生成装置。
A GUI device that enables input of parameter level connection information in the framework;
Wherein a GUI device, and the connection information, and a pre-stored macro information, general port information is information for generating the netlist, IP information, address decoding information, interrupt information, port information, I / O A net list generation apparatus comprising: a control unit that generates a logical specification including information and environment information as a rule file.
JP2006099251A 2006-03-31 2006-03-31 Netlist generation method and generation apparatus Expired - Fee Related JP4664224B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2006099251A JP4664224B2 (en) 2006-03-31 2006-03-31 Netlist generation method and generation apparatus

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2006099251A JP4664224B2 (en) 2006-03-31 2006-03-31 Netlist generation method and generation apparatus

Publications (2)

Publication Number Publication Date
JP2007272688A JP2007272688A (en) 2007-10-18
JP4664224B2 true JP4664224B2 (en) 2011-04-06

Family

ID=38675413

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2006099251A Expired - Fee Related JP4664224B2 (en) 2006-03-31 2006-03-31 Netlist generation method and generation apparatus

Country Status (1)

Country Link
JP (1) JP4664224B2 (en)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP5835498B2 (en) 2012-09-21 2015-12-24 三菱電機株式会社 LSI and LSI manufacturing method

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP3571526B2 (en) * 1997-10-23 2004-09-29 富士通株式会社 System design / evaluation CAD system and its program storage medium

Also Published As

Publication number Publication date
JP2007272688A (en) 2007-10-18

Similar Documents

Publication Publication Date Title
JP4464665B2 (en) High speed chip management system
JP5178417B2 (en) Design support apparatus, design support system, design support method, and design support program
CN115495069B (en) Coal industry software process implementation method, device and equipment based on model drive
JP5426938B2 (en) Information processing apparatus and information processing method
JP4783658B2 (en) Verification support device, verification support method, verification support program, and recording medium
CN103294845A (en) Business analysis design support device, business analysis design support method and business analysis design support program
US20090241075A1 (en) Test chip validation and development system
JP5747698B2 (en) Requirements management support device
US7949509B2 (en) Method and tool for generating simulation case for IC device
JP5233361B2 (en) BOM registration system, registration information generation device, BOM registration method and program
JP4664224B2 (en) Netlist generation method and generation apparatus
JP2021196933A (en) Software inquiry information management system and software inquiry information management method
JP2007011605A (en) Software operation specification model checking support device, model checking system including the same, and model checking support program
JP5243908B2 (en) Computer system, method and computer program for verifying model quality
WO2012049816A1 (en) Model checking device, method, and program
CN109117431A (en) System and method for the source data applied from source to be incorporated into the target data of target application
JP2008299423A (en) Information processing apparatus and information processing program
CN101430777A (en) Method and system for naming list element
CN116795383B (en) Process data issuing method, issuing device, electronic equipment and storage medium
JP4630640B2 (en) Design information verification apparatus and design information verification method
JP4387324B2 (en) Property conversion device
JP2551935B2 (en) Graphical language processing method
JP5202598B2 (en) Workflow management device and workflow management program
US20080005714A1 (en) Logic diagram display method, program, and apparatus
WO2026028403A1 (en) Information processing device and program

Legal Events

Date Code Title Description
A711 Notification of change in applicant

Free format text: JAPANESE INTERMEDIATE CODE: A712

Effective date: 20080730

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20081128

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20100804

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20100817

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20101008

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: 20110104

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: 20110106

R150 Certificate of patent or registration of utility model

Ref document number: 4664224

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: 20140114

Year of fee payment: 3

S111 Request for change of ownership or part of ownership

Free format text: JAPANESE INTERMEDIATE CODE: R313111

R350 Written notification of registration of transfer

Free format text: JAPANESE INTERMEDIATE CODE: R350

LAPS Cancellation because of no payment of annual fees