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]
Abstract is missing.