2024-03-28T21:27:50Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001159032023-11-17T02:17:36Z06504:07936:07947
超高速シミュレータ(HAL)による効果的論理検証A Logic Verification System on the Hardware Logic Simulator, HALjpnhttp://id.nii.ac.jp/1001/00116021/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=115903&item_no=1&attribute_id=1&file_no=1日本電気(株)日本電気(株)日本電気(株)北陸日本電気ソフトウェア(株)蔵下, 正広西岡, 浩成友, 京子中田, 勝論理検証を高速、且つ効率良く行うために、ハードウェア論理シミュレータHAL(HArdware Logic simulator)と命令レベル・シミュレータ(T&D simulator)とを結合させたシミュレーション・システムTDHALを開発した。この方式によって、HALのみでシミュレーションを行った時に比べ、約1桁の検証効率向上が得られた。本稿では、TDHALシステムの方式及び効果について述べる。AN00349328全国大会講演論文集第37回デザインオートメーションおよびコンピュータグラフィクス176117621988-09-122015-01-19