related documents On-chip generation of uniformly distributed constrained-random stimuli for post-silicon validation Conferences SAT solving using FPGA-based heterogeneous computing Conferences
