Developing cycle-accurate contract specifications for synchronous parallel-pipeline hardware: Application to verificationстатья