规律性析取的系统方法

摘要

在有些实施例中，本发明包括一种包括通过对电路(10)的描述的计算机自动化操作生成电路(10)的样板集合(S1、S2、S3)的规律性析取方法。该方法也包括以这些样板的子集覆盖电路。在有些实施例中，样板集合包括单-初级输出样板，其中，单-初级输出样板是这样一种样板-在该样板中，样板的所有输出都在样板的某特定输出的传递扇入中。样板集合也可包括树样板。在有些实施例中，样板集合是给定一定假设的样板的完全集合-这些假设包括，样板集合包括所涉及的各类样板的所有最大样板，并且样板不是通过改序门输入而生成的。在有些实施例中，电路的覆盖涉及选择样板集合中的一个样板、满足一定的基准和删除所选择样板的实例中的所有节点。覆盖可进一步包含删除样板集合中除了所选择样板以外的样板并根据剩余的未覆盖电路重新生成新的样板集合。