Automatic modeling and validation of pipeline specifications driven by an architecture description language [SoC] | IEEE Conference Publication | IEEE Xplore