@article{weko_5808_1, author = "萩原,兼一 and 和田,幸一", title = "VLSI向きハードウェアアルゴリズム:3. ハードウェアアルゴリズムの設計法:3.2 ハードウェアアルゴリズムの記述と検証", journal = "情報処理", year = "1985", volume = "26", number = "6", month = "jun" }