@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00123881,
 book = {全国大会講演論文集},
 issue = {ハードウェア},
 month = {Mar},
 note = {ビジネスコンピュータ用1チップCPUプロセッサを開発した。このチップは、0.8μmCMOSプロセスを用いたフルカスタム設計手法で設計され、約170万Tr.規模のものである。チップ開発は、内蔵される機能の規模・複雑さが増すにつれ、チップ作り直しのリスクが高まる方向にある。このため、開発工程の大幅な後戻りを避けるために、より高品質の設計検証がチップ設計初期から要求されている。今回の開発では、トップダウン設計の観点から、チップの機能仕様および外部仕様を早期に検証するためにハードウェア記述言語であるVerilog-HDLを用いてCPUチップの機能モデルを開発した。本稿では、CPUチップ開発で行われた設計検証のうち、機能検証を中心に機能モデルの概要と機能モデルを利用した検証の効果について報告する。},
 pages = {149--150},
 publisher = {情報処理学会},
 title = {1チップCPUプロセッサの設計検証(1)CPUプロセッサの機能モデルの開発},
 volume = {第46回},
 year = {1993}
}