SAT-Controlled redundancy addition and removal — a novel circuit restructuring technique

التفاصيل البيبلوغرافية
العنوان: SAT-Controlled redundancy addition and removal — a novel circuit restructuring technique
المؤلفون: Wu, Chi-An, Lin, Ting-Hao, Shao-Lun Huang, Huang, Chung-Yang
المصدر: 2009 Asia and South Pacific Design Automation Conference Design Automation Conference, 2009. ASP-DAC 2009. Asia and South Pacific. :191-196 Jan, 2009
Relation: 2009 Asia and South Pacific Design Automation Conference (ASP-DAC)
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:9781424427482
9781424427499
تدمد:21536961
2153697X
DOI:10.1109/ASPDAC.2009.4796479