9、动态模型在VHDL描述优化中的应用

动态模型在VHDL描述优化中的应用

1. 相似性再探讨

在VHDL描述的优化过程中，相似性是一个重要的概念。相似性不仅帮助我们理解不同描述之间的关系，还为我们提供了验证等价性的基础。具体来说，相似性可以用来比较两个VHDL描述中的信号集合S，以确定它们的驱动器集合是否相似，进而判断这两个描述是否等价。

为了更好地理解相似性的概念，我们可以考虑以下示例：

假设我们有两个VHDL描述Vi和V2，它们共享一个信号集合S。如果对于S中的每一个信号s，在Vi和V2中s的驱动器集合相似，那么我们可以得出结论：Vi和V2在S上是等价的。

定理 1

如果S是两个VHDL描述Vi和V2共有的信号集合，那么对于S中的每一个信号s，如果Vi中s的驱动器集合与V2中s的驱动器集合相似，那么Vi在S上等价于V2。

2. 进程折叠

进程折叠是一种有效的优化技术，它通过合并多个进程语句来减少进程的数量，从而提高模型的效率。具体来说，进程折叠的目标是将多个进程语句合并成一个更简洁的进程语句，同时确保合并后的进程语句与原始的进程语句在语义上是等价的。

示例：进程折叠

考虑以下两个进程语句P1和P2：

P1: 进程 (A, B)
开始
    C <= A nand B after 1 ns;
结束进程 P1;

P2: 进程 (A, B)
开始
    TMP <= A and B after 1 ns;
结束进程 P2;

P3: 进程 (TMP)
开始
    C <= not TMP