How to Verify Complex FPGA Designs for Free

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