Steven Hoover | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Ákos Hadnagy
2 publications
Ahmed Salman
1 publication

research

∙ 11/05/2018

Top-Down Transaction-Level Design with TL-Verilog

Transaction-Level Verilog (TL-Verilog) is an emerging extension to Syste...

0 Steven Hoover, et al. ∙

research

∙ 11/05/2018

Formally Verifying WARP-V, an Open-Source TL-Verilog RISC-V Core Generator

Timing-abstract and transaction-level design using TL-Verilog have shown...

0 Steven Hoover, et al. ∙