A new technical paper titled “Eliminating Excessive Dynamism of Dataflow Circuits Using Model Checking” was published by researchers at ETH Zurich. “Recent HLS efforts explore the generation of ...