文献

J-GLOBAL ID：201602272453080017   整理番号：16A0613486

PDRのためのTRの自動抽象化精密化【Powered by NICT】

Automatic abstraction refinement of TR for PDR

著者 (3件)： Kuan Fan (Grad. Instn. of Electron. Eng., Nat. Taiwan Univ., Taipei, Taiwan) ,  Ming-Jen Yang (Grad. Instn. of Electron. Eng., Nat. Taiwan Univ., Taipei, Taiwan) ,  Chung-Yang Huang (Grad. Instn. of Electron. Eng., Nat. Taiwan Univ., Taipei, Taiwan)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： ASP-DAC  ページ： 121-126  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 局在化抽象化は長いハードウェアモデル検査のスケーラビリティ問題の解決された強力な技術である。しかし,計算資源はしばしば非効率的抽象化精密化エンジンと証明機関の間の反復試行錯誤中の消費されている。この目的のために,近年の効率を向上させるための二つの独立した技術を結合されてきている。本論文では,PDRのスケーラビリティと性能の更なる向上を達成するためのPDR(別名IC3)を組み合わせたゲートレベル,ハイブリッド抽象化法を用いた新しいモデル検査手法を提案した。ABCにおける著者らの研究を実行し,HWMCC13,HWMCC14ベンチマークスイート上で評価を行った。結果は筆者らの手法がABCに実装されたPDRの性能を大きく上回っている,多数のベンチマーク事例のそれを補完することを示した。Copyright 2016 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *精密化 ,  モデル検査 ,  ベンチマーク
準シソーラス用語： 計算資源 , 【Automatic Indexing@JST】

分類 (2件)： 図形・画像処理一般  (JE04010I) ,  符号理論  (ND02030R)

タイトルに関連する用語 (3件)： TR ,  抽象化 ,  精密化