@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00149120,
 author = {桑島, 芳朗 and 和崎, 克己 and Kuwashima, Yoshirou and Wasaki, Katsumi},
 book = {情報科学技術フォーラム講演論文集},
 issue = {1},
 month = {Aug},
 pages = {515--518},
 publisher = {情報処理学会},
 title = {C-035 ハードウェア上位設計HDCamlから形式記述言語LOTOSへのコード生成と論理回路ライブラリの構築(ハードウェア・アーキテクチャ,一般論文)},
 volume = {8},
 year = {2009}
}