用于构造规范表示的方法和装置

摘要

本发明公开了用于构造规范表示的方法和装置。一些实施例提供用于有助于构造规范表示(CR)的系统和技术，该CR表示逻辑函数集合的逻辑组合。在操作期间，系统可以接收CR规模限制。接着，系统可以基于逻辑函数集合来构造CR集合，其中CR集合中的各CR表示逻辑函数集合中的逻辑函数。系统然后可以组合CR集合的子集以获得组合式CR。接着，系统可以识别在与组合式CR组合时造成超过CR规模限制的有问题的CR。系统然后可以将有问题的CR和/或与有问题的CR关联的逻辑函数报告给用户，由此帮助用户识别逻辑函数集合中的错误。

主权项

一种用于有助于构造规范表示CR的由计算机执行的用于电子设计自动化的方法，所述CR表示逻辑函数集合的逻辑组合，所述方法包括：接收CR规模限制；基于所述逻辑函数集合来构造CR集合，其中所述CR集合中的各CR表示所述逻辑函数集合中的逻辑函数；组合所述CR集合的子集以获得第一组合式CR；识别所述CR集合中的第一CR，所述第一CR被预计为在与所述第一组合式CR组合时得到规模超过所述CR规模限制的第二组合式CR；并且将与所述第一CR关联的第一逻辑函数报告给用户。