Login / Signup
Steven F. Hoover
Publication Activity (10 Years)
Years Active: 2017-2018
Publications (10 Years): 3
Top Topics
Open Source Projects
Circuit Design
Fine Grained
High Level
Top Venues
CoRR
ICCD
</>
Publications
</>
Steven F. Hoover
,
Ahmed Salman
Top-Down Transaction-Level Design with TL-Verilog.
CoRR
(2018)
Steven F. Hoover
,
Ákos Hadnagy
Formally Verifying WARP-V, an Open-Source TL-Verilog RISC-V Core Generator.
CoRR
(2018)
Steven F. Hoover
Timing-Abstract Circuit Design in Transaction-Level Verilog.
ICCD
(2017)