ICCAD-2013 CAD contest in technology mapping for macro blocks and benchmark suite
暂无分享,去创建一个
[1] Massoud Pedram,et al. A new canonical form for fast Boolean matching in logic synthesis and verification , 2005, Proceedings. 42nd Design Automation Conference, 2005..
[2] K. Keutzer. DAGON: Technology Binding and Local Optimization by DAG Matching , 1987, 24th ACM/IEEE Design Automation Conference.
[3] Jie-Hong Roland Jiang,et al. BooM: A decision procedure for boolean matching with abstraction and dynamic learning , 2010, Design Automation Conference.
[4] Robert K. Brayton,et al. DAG-aware AIG rewriting: a fresh look at combinational logic synthesis , 2006, 2006 43rd ACM/IEEE Design Automation Conference.
[5] Kei-Yong Khoo,et al. Improving Constant-Coefficient Multiplier Verification by Partial Product Identification , 2008, 2008 Design, Automation and Test in Europe.
[6] Kuo-Hua Wang,et al. Simulation and SAT-based Boolean matching for large Boolean networks , 2009, 2009 46th ACM/IEEE Design Automation Conference.