Scalable and scalably-verifiable sequential synthesis (0)

by A MISHCHENKO, M L CASE, R BRAYTON, S 2008b JANG
Venue:In Proceedings of the International Conference on Computer-Aided Design (ICCAD’08