Using HLS to improve Design-for-Verification of multi-pipeline designs with resource sharing Author(s): Sarmad Dahir, Nils Luetke-Steinhorst, Christian Sauer Download