Browsing: levels of abstraction in Verilog