首页>
外国专利>
SCALABLE BOOLEAN METHODS IN A MODERN SYNTHESIS FLOW
SCALABLE BOOLEAN METHODS IN A MODERN SYNTHESIS FLOW
展开▼
机译:现代合成流程中的可扩展布尔方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
Techniques and systems for optimizing a logic network are described. Some embodiments automatically identify scenarios where Boolean methods are best driven by truth tables, binary decision diagrams (BDDs) or satisfiability (SAT). Some embodiments use circuit partitioning techniques that are based on hash-tables and topological sorting, and that are capable of grouping nodes with high simplification likelihood and still are able to efficiently scale to large circuits. Some embodiments feature a generalized resubstitution framework based on computing, and implementing, the Boolean difference between two nodes. Some embodiments include enhancements to (i) gradient-based and-inverter-graph (AIG) optimization, (ii) heterogeneous elimination for kerneling, and (iii) revisitation of maximum set of permissible functions (MSPF) computation with BDDs.
展开▼