Add abstraction directly, successor of verilog and protocol