A semi-canonical form for sequential AIGs.

Alan Mishchenko Niklas Eén Robert K. Brayton Michael L. Case Pankaj Chauhan Nikhil Sharma

Published in: DATE (2013)

Keyphrases

canonical form
rewrite rules
geometric properties
data structure
viewpoint
response time
multi dimensional
software systems
tree structures