system verilog typedef interface