Tag: logic synthesis in verilog