Constraint driven dual-rail PLA module generator with embedded 2-input logic cells | IEEE Conference Publication | IEEE Xplore