verification asic hot model employment impact models fpga design kamilah gianni models hot models credit import models verilog hip-hop analog vhdl check import cars