Logic synthesis and verification on fixed topology

Masahiro Fujita, Alan Mishchenko. Logic synthesis and verification on fixed topology. In Lorena Garcia, editor, 22nd International Conference on Very Large Scale Integration, VLSI-SoC, Playa del Carmen, Mexico, October 6-8, 2014. pages 1-6, IEEE, 2014. [doi]

Authors

Masahiro Fujita

This author has not been identified. Look up 'Masahiro Fujita' in Google

Alan Mishchenko

This author has not been identified. Look up 'Alan Mishchenko' in Google