Steven Hoover | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

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. ∙