WEKO3
アイテム
NII Technical Report (NII-2003-003E)：Synthesizing Timed Circuits from High Level Specification Languages
https://doi.org/10.20736/0000000384
https://doi.org/10.20736/0000000384f4c692e3-dbe9-4bcc-9554-13867e39c509
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
NII Technical Report (NII-2003-003E)：Synthesizing Timed Circuits from High Level Specification Languages (190.2 kB)
|
|
| Item type | レポート / Report(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2003-02-05 | |||||||||||
| タイトル | ||||||||||||
| タイトル | NII Technical Report (NII-2003-003E)：Synthesizing Timed Circuits from High Level Specification Languages | |||||||||||
| 言語 | en | |||||||||||
| 言語 | ||||||||||||
| 言語 | eng | |||||||||||
| キーワード | ||||||||||||
| 言語 | ja | |||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | テクニカルレポート | |||||||||||
| キーワード | ||||||||||||
| 言語 | en | |||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | Technical Report | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||
| ID登録 | ||||||||||||
| ID登録 | 10.20736/0000000384 | |||||||||||
| ID登録タイプ | JaLC | |||||||||||
| 著者 |
米田, 友洋
× 米田, 友洋
× Myers, Chris
|
|||||||||||
| 抄録 | ||||||||||||
| 内容記述タイプ | Abstract | |||||||||||
| 内容記述 | This work proposes an efficient methodology to synthesize timed circuits from high level specification languages. In particular, this paper presents a systematic procedure for translating channel-level models to time Petri net descriptions. Care is taken in this translation to guarantee that there are no state coding violations in the resulting nets greatly simplifying the synthesis process. This paper also presents a modular decomposition method to break up the circuit to be synthesized such that an efficient partial order based synthesis approach can be applied to rapidly produce a circuit implementation. This new synthesis technique is demonstrated by its application to the line fetch module from the TITAC2 instruction cache system. | |||||||||||
| 言語 | en | |||||||||||
| 書誌情報 |
ja : NIIテクニカル・レポート en : NII Technical Report p. none, 発行日 2003-02-05 |
|||||||||||
| 出版者 | ||||||||||||
| 出版者 | 国立情報学研究所 | |||||||||||
| 言語 | ja | |||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||
| 収録物識別子 | 1346-5597 | |||||||||||
