@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} }