Specification-driven testbench development for synchronous parallel-pipeline designsстатья