SUPERLOG –Building on Verilog