Ian Kuon Aaron Egier Jonathan Rose Design, layout and verification of an FPGA using automated tools. 215-226 2005 conf/fpga/2005 FPGA http://doi.acm.org/10.1145/1046192.1046220 db/conf/fpga/fpga2005.html#KuonER05