Adding verilog database for real