Rui Rodrigues João M. P. Cardoso An Infrastructure to Functionally Test Designs Generated by Compilers Targeting FPGAs http://arxiv.org/abs/0710.4706 2007 CoRR abs/0710.4706 db/journals/corr/corr0710.html#abs-0710-4706 informal publication