Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI) 2451 Accesses 29 Citations This is a preview of subscription content, log in via an institution to check access. About this book The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to...
3114 of Lecture Notes in Computer Science. Springer, Berlin/Heidelberg, pp. 274-276.Warren A. Hunt. Mechanical Mathematical Methods for Microprocessor Ver- ification. In Intl. Conference on Computer Aided Verification (CAV), pages 523-533, 2004....
Lecture Notes in Economics and Mathematical Systems, Springer Verlag (1973) Google Scholar (88) Phister, M.Jr. (1978). Analyzing computer technology costs. Computer Design, No. 7, pp. 91-98. Google Scholar (89) Schindler, M.J. (1978). Fill your microcomputer with the right software packa...
Venkateswaran, N., Kumeresh, A., Chandran, H. (2007). DNA Based Evolutionary Approach for Microprocessor Design Automation. In: Beliczynski, B., Dzielinski, A., Iwanowski, M., Ribeiro, B. (eds) Adaptive and Natural Computing Algorithms. ICANNGA 2007. Lecture Notes in Computer Science, ...
N. A. Harman "Verifying a Simple Pipelined Microprocessor Using Maude", Lecture Notes in Computer Science, vol 2267, 2001, pp 128-142Harman,N.A.Verifying a Simple Pipelined Microprocessor Using Maude. Lecture Notes in Computer Science . 2001...
Rich, A D & Stoutemyer D R (1979) "Capabilities of the muMATH-79 Computer Algebra System for the Intel-8080 Microprocessor" Proceedings of EUROSAM 1979, Lecture Notes in Computer Science 72 , Springer-Verlag, p241–248Art Rich and David Stoutemyer, "Capabilities of the muMATH-79 Computer...