Skip to main content

Achieving Maximum Performance: A Method for the Verification of Interlocked Pipeline Control Logic

Kerstin Eder, Geoff Barrett, Achieving Maximum Performance: A Method for the Verification of Interlocked Pipeline Control Logic. Proceedings of the 39th Design Automation Conference. ISBN 1-58113-461-4, pp. 135–140. June 2002. No electronic version available. External information

Abstract

Getting the interlock logic which controls pipeline flow correct is an important prerequisite for maximising pipeline performance. Unnecessary pipeline stalls can only be eliminated when they can be distinguished from those stalls which are necessary to preserve functional correctness. We propose a method for deriving a maximum pipeline performance specification from a complete functional specification of the pipeline control logic. The performance specification can be used to generate simulation testbench assertions. On the other hand, the specification can serve as a basis for formal property checking. The most promising aspect of our work is, however, the potential to synthesize the actual control logic from its formal description.

Bibtex entry.

Contact details

Publication Admin