Have you tested Lizard on an FPGA at all? What type of resource usage do you think it would use? (How big is the number of gates in the ASIC flow?)