@inproceedings{weko_106403_1,
   author	 = "松田,和也 and 三好,健文 and 竹本,正志 and 船田,悟史 and 中條,拓伯",
   title	 = "回路分割機構を備えた高位合成ツールによる検証回路の生成",
   booktitle	 = "組込みシステムシンポジウム2014論文集",
   year 	 = "2014",
   volume	 = "2014",
   number	 = "",
   pages	 = "5--12",
   month	 = "oct"
}