Toward Automated ECOs in FPGAs
暂无分享,去创建一个
[1] Stephen Dean Brown,et al. Post-placement bdd-based decomposition for FPGAs , 2005, International Conference on Field Programmable Logic and Applications, 2005..
[2] Sean Safarpour,et al. Improved Design Debugging Using Maximum Satisfiability , 2007 .
[3] Kwang-Ting Cheng,et al. Generation of shorter sequences for high resolution error diagnosis using sequential SAT , 2006, Asia and South Pacific Conference on Design Automation, 2006..
[4] Steve Golson,et al. The Human ECO Compiler , 2004 .
[5] A. Mishchenko,et al. Scalable exploration of functional dependency by interpolation and incremental SAT solving , 2007, ICCAD 2007.
[6] Tracy Larrabee,et al. Test pattern generation using Boolean satisfiability , 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[7] Kenneth L. McMillan,et al. Interpolation and SAT-Based Model Checking , 2003, CAV.
[8] Jason Cong,et al. Incremental physical design , 2000, ISPD '00.
[9] Sharad Malik,et al. Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[10] Igor L. Markov,et al. Fixing Design Errors with Counterexamples and Resynthesis , 2007, 2007 Asia and South Pacific Design Automation Conference.
[11] Robert K. Brayton,et al. Automating Logic Rectification by Approximate SPFDs , 2007, 2007 Asia and South Pacific Design Automation Conference.
[12] Robert K. Brayton,et al. Boolean factoring and decomposition of logic networks , 2008, ICCAD 2008.
[13] Shi-Yu Huang,et al. AutoFix: a hybrid tool for automatic logic rectification , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[14] Ruchir Puri,et al. DeltaSyn: An efficient logic difference optimizer for ECO synthesis , 2009, 2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers.