D. Kroening and W. J. Paul. Automated pipeline design. In DAC 2001. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Achieving Maximum Performance: A Method for the Verification.. - Eder, Barrett (2002) (Correct)
....which enforce an explicit pipeline stall, independent of the actual instruction set. The assertions obtained from our specification can easily be added to existing test benches which, as we have experienced, facilitates the integration of our method into an existing verification environment. In [6], Kroening and Paul introduce a tool that supports the design of pipelined microprocessors from prepared sequential machines which are later used as reference models. Prepared in this context means, amongst other things, that the hardware of the original sequential machine has been partitioned ....
D. Kroening and W. J. Paul. Automated pipeline design. In DAC 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC