In which lab is shown how to extract spice net list from verilog. It is required in day5 lab8 but i do not remember were was shown the procedure. thanks