WEKO3
アイテム
プロトコル仕様記述言語を入力とする制御回路の機能合成
https://ipsj.ixsq.nii.ac.jp/records/14305
https://ipsj.ixsq.nii.ac.jp/records/14305231d0dda-311d-4b9f-a390-e04d398473c5
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1994 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | Journal(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1994-02-15 | |||||||
タイトル | ||||||||
タイトル | プロトコル仕様記述言語を入力とする制御回路の機能合成 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | Behavioral Synthesis for Control Circuits Using Protocol Specification Language | |||||||
言語 | ||||||||
言語 | jpn | |||||||
キーワード | ||||||||
主題Scheme | Other | |||||||
主題 | 論文 | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
資源タイプ | journal article | |||||||
その他タイトル | ||||||||
その他のタイトル | ハードウェア設計 | |||||||
著者所属 | ||||||||
NTT LSI研究所設計システム研究部/現在 NTT交換システム研究所伝達装置研究部 | ||||||||
著者所属 | ||||||||
NTT LSI研究所設計システム研究部/現在 NTT伝送システム研究所伝送処理研究部 | ||||||||
著者所属 | ||||||||
NTT LSI研究所設計システム研究部 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
LSI Design Systems Laboratory, NTT LSI Laboratories/Presently with Transport Network Systems Laboratory, NTT Communication Switching Laboratories | ||||||||
著者所属(英) | ||||||||
en | ||||||||
LSI Design Systems Laboratory, NTT LSI Laboratories/Presently with Transport Processing Laboratory, NTT Transmission Systems Laboratories | ||||||||
著者所属(英) | ||||||||
en | ||||||||
LSI Design Systems Laboratory, NTT LSI Laboratories | ||||||||
著者名 |
小林, 哲雄
× 小林, 哲雄
|
|||||||
著者名(英) |
Tetsuo, Kobayashi
× Tetsuo, Kobayashi
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 本諭文ではプロトコル仕様記述言語SAL(Service Additonal Language)で記述されたプロトコル仕様記述から制御回路を合成する新しい手法を提案する。本手法は、設計者が状態を陽に意識することなく記述した抽象度の高いメッセージシーケンス記述によるプロトコルの断片的仕様を入力として、ハードウェア言述言語(HDL)による有限状態機械(FSM)の記述を生成する。本手法をOSI FTAM(File Transfer Access and Management)のメッセージシーケンスの例に適用した結果、仕様記述から諭理合成可能なHDL記述を自動生成でき、大幅に設計期間を短縮できることを確認した。 | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN00116647 | |||||||
書誌情報 |
情報処理学会論文誌 巻 35, 号 2, p. 342-351, 発行日 1994-02-15 |
|||||||
ISSN | ||||||||
収録物識別子タイプ | ISSN | |||||||
収録物識別子 | 1882-7764 |