By discussing the structure of testbench,functional coverage model building, and the stimulus generation and the reponsechecking of CDV, the dissertation compares the difference of CDV and otherverification methology and intruduces many detail of the design flow of buildingCDV environment.
论文从testbench的结构、功能覆盖率模型的建立、验证环境中激励的产生和响应的检查等几个方面，论述了覆盖率导向的验证方法与其他验证方法的区别，并介绍在建立覆盖率导向的验证环境的过程中的一些细节。
参考来源 - 覆盖率导向的验证方法的研究与实现·2,447,543篇论文数据，部分数据来源于NoteExpress
Finally, the functional coverage reached 100%, and the FPGA prototype worked correctly for required long time.
最终验证的功能覆盖率达到100%，FPGA原型经长时间运行无误。
Tests and verifies the floating point unit in direct and random methods, with 100% functional coverage and code coverage.
采用直接和随机测试方法，对浮点运算单元进行了测试和验证，代码覆盖率和功能覆盖率都达到了100%。
Writing functional coverage models based on MAC frame length and type. Assertion is used to verify the timing of MII interface.
分析了MAC帧长度和类型的功能点，编写出功能覆盖率模型，并对MII接口时序进行了断言的验证。
应用推荐