DVCon2013の2日目の火曜日の行われた
REGULAR SESSION: Getting Holistic Coverage: Deployment of UCIS、
チェアはメンターのハリーさん。
REGULAR SESSION: Getting Holistic Coverage: Deployment of UCIS、
チェアはメンターのハリーさん。
Systematic Application of UCIS to Improve the Automation on Verification Closureは、
SystemCの環境にUCISを導入するというお話。
UCISはシミュレーションやエミュレータには搭載されていますが、SystemCにはない。
そこで開発して、適応してみたようです。大学でもこういう研究ができるのがイイですね。
SystemCの環境にUCISを導入するというお話。
UCISはシミュレーションやエミュレータには搭載されていますが、SystemCにはない。
そこで開発して、適応してみたようです。大学でもこういう研究ができるのがイイですね。
UCISを最も使いこなしているだろうメンターのからの発表は、
UCIS Applications: Improving Verification Productivity, Simulation Throughput, and Coverage Closure Process
です。
Runtime ApplicationsとPost-run Applicationsについて、書いてあります。
UCIS Applications: Improving Verification Productivity, Simulation Throughput, and Coverage Closure Process
です。
Runtime ApplicationsとPost-run Applicationsについて、書いてあります。
JasperからのOn Verification Coverage Metrics in Formal Verification and Speeding Verification Closure with UCIS Coverage Interoperability Standardは、何故か、資料は見つかりません。
検証、Verification、SystemC
