Skip to content

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

Afshin Abdollahi, Massoud Pedram

VenueA*DAC
Year2005
ProceedingsDAC

Browse the full DAC paper archive.