@techreport{oai:ipsj.ixsq.nii.ac.jp:00159091,
 author = {藤田, 智久 and 高橋, 隆一 and Tomohisa, Fujita and Ryuichi, Takahashi},
 issue = {5},
 month = {May},
 note = {ソフトウェアとハードウェアの協調設計が行われる専用プロセッサにおいては特にシステムレベルでの検証が市場を逃さないために重要になっている．アサーションベース検証 （ABV） が普及しつつあるが手法は必ずしも確立されていない．設計作業の正しさを設計者自身が確認するための検証は上位レベルで行う方が効率が良い．ソフトウエアとハードウエアの両者によって実現される性質に対して ABV を適用することでシステム検証が行える．本研究ではソフトウェアとハードウェアから構成されるダイクストラ法専用プロセッサの状態遷移経路を追うことで問題個所の特定を試みた．ダイクストラ法の状態遷移系を抽象化することで経路を組織的に見出すことを試みた．, System level verification is one of the most important subjects especially for application specific instruction set processors (ASIPs) design, where hardware / software codesign is used for catching the market window. The way for assertion based verification (ABV) has not been established well. For checking the correctness of the design, higher level verification is fast and easy. System level verification could be done by applying ABV to the property implemented by using both software and hardware We investigated the way to find bugs by tracking the state transition path of an ASIP for Dijkstra's algorithm. Abstraction for Dijkstra's algorithm could be a way to identify the paths formally.},
 title = {特定の状態遷移経路に注目した論理装置のシステム検証},
 year = {2016}
}