Dynamic abstraction using SAT-based BMC - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle. Dynamic abstraction using SAT-based BMC. In William H. Joyner Jr., Grant Martin, Andrew B. Kahng, editors, Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005. pages 754-757, ACM, 2005. [doi]

This author has not been identified. Look up 'Liang Zhang' in GoogleThis author has not been identified. Look up 'Mukul R. Prasad' in GoogleThis author has not been identified. Look up 'Michael S. Hsiao' in GoogleThis author has not been identified. Look up 'Thomas Sidle' in Google

runs on WebDSL