Model-driven development of pipelined systems

流水线是一种广泛应用于数字硬件系统的性能优化，用于从简单的信号处理滤波器到高性能微处理器的系统中。流水线通过重叠执行多个指令来提高性能，类似于多辆汽车在汽车装配线上流动的方式。尽管将管道视为框图是直观的，但它很难设计和验证，因为流经管道的指令之间的交互可能会产生微妙的错误。

Pipelining is a widely used performance optimization for digital-hardware systems that is used in systems ranging from simple signal-processing filters to high-performance microprocessors. Pipelining increases performance by overlapping the execution of multiple instructions, analogous to the way that multiple cars flow through an automobile assembly line. Although intuitive when viewed as block diagrams, pipelines are difficult to design and verify, because subtle bugs can arise from the interactions between instructions flowing through the pipeline.