A semi-canonical form for sequential AIGs.

Alan Mishchenko, Niklas En, Robert K. Brayton, Michael L. Case, Pankaj Chauhan, Nikhil Sharma

Browse the full DATE paper archive.