Author:Rolf Drechsler

Keyphrases

Arithmetic Circuits, FPGA, Heterogeneous embedded systems, Integer Linear Programming, Polynomial Formal Verification, RISC-V, SAT, Scheduling, time complexity, verification.