verilog/Hspice