Spatial and temporal design debug using partial MaxSAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yibin Chen, Sean Safarpour, Andreas G. Veneris, João P. Marques Silva. Spatial and temporal design debug using partial MaxSAT. In Fabrizio Lombardi, Sanjukta Bhanja, Yehia Massoud, R. Iris Bahar, editors, Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, Boston Area, MA, USA, May 10-12 2009. pages 345-350, ACM, 2009. [doi]

This author has not been identified. Look up 'Yibin Chen' in GoogleThis author has not been identified. Look up 'Sean Safarpour' in GoogleThis author has not been identified. Look up 'Andreas G. Veneris' in GoogleThis author has not been identified. Look up 'João P. Marques Silva' in Google

runs on WebDSL