验证用于多级部件的硬件设计

摘要

本文涉及验证用于多级部件的硬件设计。方法包括：针对从第二阶段到最后一个阶段的多个阶段中的每个阶段：(a)验证如果当在一个周期中所述阶段由任何一组输入启用并且在后续周期中由第一最小输入序列启用任何后续阶段时实例化处于相同状态，则所述硬件设计的所述实例化的所述输出数据的相关部分相同；以及(b)验证如果所述实例化在以下情况下处于相同状态，则所述硬件设计的所述实例化的所述输出数据的所述相关部分相同：(i)当在一个周期中所述阶段被启用并且在后续周期中由第二最小输入序列启用任何后续阶段时，以及(ii)当所述阶段停止，然后所述阶段在下一个周期中被启用，并且在后续周期中由所述第二最小输入序列启用所述后续阶段时。