@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00115919,
 book = {全国大会講演論文集},
 issue = {デザインオートメーションおよびコンピュータグラフィクス},
 month = {Sep},
 note = {VLSIの設計での誤りを無くすためには、論理検証が必要不可欠であり、ソフトウェア論理シミュレータ(PROCEED-SIM)の開発を行った。しかしながら、論理シミュレーションは膨大な計算時間を必要とするため、回路規模の増加に伴いシミュレーション時間が増大してきている。このため論理シミュレーション専用エンジン(LSE)の開発を行いシミュレーション時間の大幅な短縮を行ったので報告する。},
 pages = {1790--1791},
 publisher = {情報処理学会},
 title = {PROCEED-LSE論理シミュレーション専用エンジン},
 volume = {第37回},
 year = {1988}
}