Robert J. Francis Jonathan Rose Kevin Chung Chortle: A Technology Mapping Program for Lookup Table-Based Field Programmable Gate Arrays. 613-619 1990 DAC http://doi.acm.org/10.1145/123186.123418 db/conf/dac/dac90.html#FrancisRC90