Accelerating Boolean implications with FPGAs - Sulimma, Kolja; Stoffel, Dominik; Kunz, Wolfgang (Field programmable logic and applications, 1999)