Scalable and scalably-verifiable sequential synthesis

by Alan Mishchenko , Robert Brayton , Stephen Jang
Venue:Proc. ICCAD'08. http://www.eecs.berkeley.edu/~alanmi/publications/2008/iccad08_se q.pdf A. Mishchenko
Citations:18 - 14 self