@techreport{weko_99311_1, author = "藤田,昌宏 and 松本,剛史 and 城,怜史", title = "アサーション自動生成とそのシミュレーションによる完全検証", year = "2014", institution = "東京大学大規模集積システム設計教育研究センター, 東京大学大規模集積システム設計教育研究センター, 東京大学大学院工学系研究科電気系工学専攻", number = "17", month = "mar" }