TY - RPRT TI - Top-Down Transaction-Level Design with TL-Verilog AU - Steven Hoover AU - Ahmed Salman PY - 2018 UR - https://arxiv.org/abs/1811.01780 ID - 1811.01780 ER -