Author:
Aagaard Mark,Leeser Miriam
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. D. Alpert and D. Avnon. Architecture of the Pentium microprocessor. IEEE Micro, 12:11–21, June 1993.
2. T. Aspre, G. Averill, E. DeLano, R. Mason, B. Weiner, and J. Yetter. Performance features of the PA7100 microprocessor. IEEE Micro, pages 22–35, June 1993.
3. M. D. Aagaard and M. E. Leeser. A framework for specifying and designing pipelines. In ICCD, pages 548–551. IEEE Comp. Soc. Press, Washington D.C., October 1993.
4. B. J. Benschneider, W. J. Bowhill, E. M. Cooper, M. N. Gavrelov, P. E. Gronowski, V. K. Maheshwari, V. Peng, J. D. Pickholtz, and S. Samudrala. A pipelined 50-MHz CMOS 64-bit floating-point arithmetic processor. IEEE Jour. of Solid-State Circuits, 24(5):1317–1323, October 1989.
5. J. R. Burch and D. L. Dill. Automatic verification of pipelined microprocessor control. In CAV, July 1994.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献