related documents Automated data analysis solutions to silicon debug Conferences Finite Precision bit-width allocation using SAT-Modulo Theory Conferences