用于数据变换组件的硬件设计的验证

摘要

本公开涉及用于数据变换组件的硬件设计的验证。本文描述了用于验证主数据变换组件的硬件设计的方法和系统。主数据变换组件表示为数据变换组件的分层集合，包括(i)不具有子代的多个叶数据变换组件，(ii)父数据变换组件，包括子数据变换组件。方法包括：(a)对于多个叶数据变换组件，响应于多个测试输入事务而生成预期输出事务；以及(b)对于父数据变换组件，使用形式验证工具在形式上验证父数据变换组件的抽象硬件设计的实例化响应于多个测试输入事务而生成预期输出事务。父数据变换组件的抽象硬件设计用对应的抽象组件表示父数据变换组件的子数据变换组件，对应的抽象组件被配置为针对对子数据变换组件的特定输入事务产生特定输出事务。