通过迭代过度逼近和再编码策略进行增量设计缩减的方法和系统

摘要

本发明公开了一种以增量方式缩减设计的方法。逻辑验证工具接收设计以及要相对于所述设计进行验证的特性，然后选择用于缩减所述设计的多种不同技术中的一种或多种。所述逻辑验证工具然后利用所述一种或多种技术缩减所述设计，以创建缩减的设计，并尝试为所述缩减的设计上的特性生成有效的解决方案。所述逻辑验证工具确定所述有效的解决方案是否已生成，如果没有，则使用所述缩减的设计取代所述设计。在生成所述有效的解决方案之前，所述逻辑验证工具执行所述选择、缩减、确定以及取代步骤。

主权项

1. 一种在数据处理系统中以增量方式缩减电路设计的方法，所述方法包括：接收电路设计以及要相对于所述电路设计进行逻辑验证的特性；选择用于缩减所述电路设计的多种不同的再编码或逼近技术中的一种或多种；利用所述一种或多种再编码或逼近技术缩减所述电路设计，以创建缩减的电路设计；尝试为所述缩减的电路设计上的所述特性生成有效的解决方案；以及确定所述有效的解决方案是否已生成；使用所述缩减的电路设计取代所述电路设计以得到经取代的电路设计；其中，针对所述经取代的电路设计而重复执行选择、缩减、确定以及取代步骤直到生成所述有效的解决方案。