How to Verify Complex FPGA Designs for Free

Author(s):
Sebastian Dreßler, Nikos Anastasiadis, and Thomas Richter