%0 Journal Article
%T Functional coverage driven verification for TAU/MVBC<br>功能覆盖率驱动的TAU/MVBC模块验证*
%A YAO Ai-hong
%A WU Jian
%A ZHANG Zhi-jun
%A <br>姚爱红
%A 吴剑
%A 张智钧
%J 计算机应用研究
%D 2011
%I 
%X This paper describes a functional coverage driven verification environment for TAU/MVBC. According to the verification methodology manual (VMM) for System Verilog, a layered reusable verification environment was developed together with a final coverage report summary. Constrained random stimulus generation technique was applied to narrow down the input vector space and to improve functional coverage in a reasonable time. Assertions were utilized to cover function points which could rarely be covered by random combinations of input signals. The practice results show that the coverage driven verification technique can efficiently improve the verification efficiency by deliberately increasing the occurrence chance of the small probability event.
%K functional coverage
%K Verification Methodology Manual
%K Telegram Analysis Unit
%K System Verilog<br>功能覆盖率
%K 验证方法学
%K 报文分析单元
%K System
%K Verilog
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=6599CD1655E91DA58C522AB78348A10A&yid=9377ED8094509821&vid=D3E34374A0D77D7F&iid=E158A972A605785F&sid=B3079604173FE132&eid=B7AB8E33F0FC19ED&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=12