Modeling Xilinx 7-Series FPGAs Within the Verilog to Routing Project