【摘要】：驱动器、监视器和激励生成器本身不足以构成一个完整的验证平台。虽然在所有的验证平台中这些组件提供了必要的可控制性和可观察性，但它们不提供分析和修改激励的功能。从验证平台流动的事务信息流里，我们如何回答这些问题？更可靠、可重复和可复用的方法是写代码来分析事务流，把代码封装起来作为验证组件使它可以方便地插入到基于事务的验证平台中。验证平台中分析组件的集合就叫做分析域。
第7章 完整的验证平台
驱动器、监视器和激励生成器本身不足以构成一个完整的验证平台。虽然在所有的验证平台中这些组件提供了必要的可控制性和可观察性，但它们不提供分析和修改激励的功能。本章我们将详细探讨这方面的内容。
激励生成器和驱动器引起被测设计的动作，监视器产生描绘被测设计输入和输出的事务信息流。根据这些数据流提供的信息我们需要回答问题，“它能工作吗？”和“我们做完了吗？”。从验证平台流动的事务信息流里，我们如何回答这些问题？分析这些事务流最简单的方法就是把它们打印出来或保存到一个文件中，然后通过人工的方式梳理一遍以理解它们的含义。除了这种方法需要繁重的劳动外，其可靠性则完全依赖于分析人员的细心和专心程度。工程师也许不得不仔细检查上万条或上百万条的事务信息。即使取样范围很小，如果工程师晚上工作到很晚非常疲倦或在周末长假前的星期五下午，他们很可能错过重要的标志或样品。
更可靠、可重复和可复用的方法是写代码来分析事务流，把代码封装起来作为验证组件使它可以方便地插入到基于事务的验证平台中。那些扮演分析事务流角色的组件叫做分析组件。验证平台中分析组件的集合就叫做分析域。
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
