Improving SAT-based Combinational Equivalence Checking through circuit preprocessing - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes. Improving SAT-based Combinational Equivalence Checking through circuit preprocessing. In 26th International Conference on Computer Design, ICCD 2008, 12-15 October 2008, Lake Tahoe, CA, USA, Proceedings. pages 40-45, IEEE, 2008. [doi]

This author has not been identified. Look up 'Fabrício Vivas Andrade' in GoogleThis author has not been identified. Look up 'Leandro Maia Silva' in GoogleThis author has not been identified. Look up 'Antônio Otávio Fernandes' in Google

runs on WebDSL