Steven F. Hoover

According to our database, Steven F. Hoover authored at least 3 papers between 2017 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

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

Steven F. Hoover, Ákos Hadnagy

CoRR, 2018

Top-Down Transaction-Level Design with TL-Verilog.

Steven F. Hoover, Ahmed Salman

CoRR, 2018

2017

Timing-Abstract Circuit Design in Transaction-Level Verilog.

Steven F. Hoover

Proceedings of the 2017 IEEE International Conference on Computer Design, 2017