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