Transistor abstraction for the functional verification of FPGAs. - Guy Dupenloup; Thierry Lemeunier; Roland Mayr (DAC, 2006)