文件名称：AIG逻辑构建
文件大小：4.95MB
文件格式：RAR
更新时间：2018-09-04 14:22:31
AIG
关于逻辑综合优化的一种数据结构构建，基于BDD的缺陷，对BDD进行比较。
【文件预览】：
BDDBased
----AIGRewriting.pdf(62KB)
----KL-cuts.pdf(319KB)
----An AIG-Based QBF-Solver Using SAT for Preprocessing.pdf(345KB)
----functionalComposition.pdf(176KB)
----DAGAwareAIG.pdf(1.39MB)
----PowerReductionAIG.pdf(134KB)
----ConstructiveAIG.pdf(211KB)
----相关参考文献()
--------Large-scale SOP Minimization 2003.pdf(673KB)
--------The AIGHyVista 1999 USA HyMap Group Shoot.pdf(278KB)
--------Boolean Factoring with Multi-Objective Goals.pdf(714KB)
----AIGTransistors.pdf(916KB)
----reliabilityProbability.pdf(102KB)