@misc{indiciae2ff7a8f97ac5, title = {Top-Down Transaction-Level Design with TL-Verilog}, author = {Steven Hoover and Ahmed Salman}, year = {2018}, url = {https://arxiv.org/abs/1811.01780}, note = {Source identifier: 1811.01780} }