A proof engine approach to solving combinational design automation problems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gunnar Andersson, Per Bjesse, Byron Cook, Ziyad Hanna. A proof engine approach to solving combinational design automation problems. In Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002. pages 725-730, ACM, 2002. [doi]

This author has not been identified. Look up 'Gunnar Andersson' in GoogleThis author has not been identified. Look up 'Per Bjesse' in GoogleThis author has not been identified. Look up 'Byron Cook' in GoogleThis author has not been identified. Look up 'Ziyad Hanna' in Google

runs on WebDSL