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

Akos Hadnagy is a master’s student at TU Delft. He became involved in the WARP-V project through the Google Summer of Code programme this summer. His interest includes heterogeneous and reconfigurable computing, FPGA and hardware development.