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.