Eliminating Excessive Dynamism of Dataflow Circuits Using Model Checking.

Jiahui Xu, Emmet Murphy, Jordi Cortadella, Lana Josipovic

Browse the full FPGA paper archive.