publication venue for On-chip generation of uniformly distributed constrained-random stimuli for post-silicon validation 2015 SAT solving using FPGA-based heterogeneous computing 2015
