Efficient SAT-based Boolean Matching for FPGA Technology Mapping

doi 10.1145/1146909.1147034
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press