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

Afshin Abdollahi, Massoud Pedram. A new canonical form for fast boolean matching in logic synthesis and verification. In William H. Joyner Jr., Grant Martin, Andrew B. Kahng, editors, Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005. pages 379-384, ACM, 2005. [doi]

Authors

Afshin Abdollahi

This author has not been identified. Look up 'Afshin Abdollahi' in Google

Massoud Pedram

This author has not been identified. Look up 'Massoud Pedram' in Google