Bluenose II: Towards Faster Design and Verification of Pipelined Circuits