文献

J-GLOBAL ID：201402232808563533   整理番号：14A0813354

関数型プログラムとしての同期デジタル回路

Synchronous Digital Circuits as Functional Programs

著者 (1件)： GAMMIE Peter (Australian National Univ., Sydney)
資料名： ACM Computing Surveys  (ACM Computing Surveys)
巻： 46  号： 2  ページ： 21:1-21:27  発行年： 2013年11月 
JST資料番号： E0003B  ISSN： 0360-0300  資料種別： 逐次刊行物 (A)
記事区分： 文献レビュー  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 領域固定言語domain-specific languages(DSLs)の開発のモチベーションは,Mooreの法則で予測されるシリコンチップ上のトランジスタ密度の増加への対処である。DSLにより,設計の再利用,スケーラビリティ,正しさが得られる。これまで,シミュレーション言語として,Verilog(C構文),VHDL(Ada)が汎用のハードウェア記述言語として使用されてきた。しかし,手続き型言語としての欠陥があり,同期型デジタル回路を扱う関数型言語が考察されてきた。関数型プログラミング手法は,1980年代初頭から,同期デジタル回路を記述するために使用されており,特定の型の設計を記述することに成功している。ここでは,この伝統を構成するシステムや,形式的基盤を調査する。ハードウェア設計のためのほかの形式手法に関してこの技術を位置づける。今後の研究につき議論する。μFP,1次帰納方程式からのハードウェア合成,Hydra,Lava2000他,Hawk,Jazz,高レベルハードウェア合成を取り上げる。同期型言語,代数的手法,関係モデル,形式的機能モデルについても触れる。並行,並列仕様の可能性について指摘する。

シソーラス用語： *ディジタル回路 ,  シミュレーション言語 ,  *計算機プログラム ,  *関数型言語
準シソーラス用語： *関数型プログラム ,  *同期ディジタル回路

分類 (1件)： 汎用プログラミング言語  (JD03051H)

タイトルに関連する用語 (2件)： 関数 ,  デジタル回路