Debnath D and Sasao T. Efficient computation of canonical form for Boolean matching in large libraries. Proceedings of the 2004 Asia and South Pacific Design Automation Conference. (591-596).
Bullmann J, Rosenstiel W, Schubert E and Kebschull U. Library based technology mapping using multiple domain representations. Proceedings of the conference on European design automation. (146-150).
Schubert E and Rosenstiel W. Combined spectral techniques for Boolean matching. Proceedings of the 1996 ACM fourth international symposium on Field-programmable gate arrays. (38-43).
Wang K and Hwang T. Boolean matching for incompletely specified functions. Proceedings of the 32nd annual ACM/IEEE Design Automation Conference. (48-53).
Pomeranz I and Reddy S. On testing delay faults in macro-based combinational circuits. Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design. (332-339).
Pomeranz I and Reddy S. On diagnosis and correction of design errors. Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design. (500-507).
Francis R. A tutorial on logic synthesis for lookup-table based FPGAs. Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design. (40-47).