A new canonical form for fast boolean matching in logic synthesis and verification.

Afshin Abdollahi Massoud Pedram

Published in: DAC (2005)

Keyphrases

canonical form
logic synthesis
multi valued
heuristic search
rewrite rules
multi view
feature points
query optimization
ubiquitous computing
geometric properties