A plausibility-driven approach to computer architecture design

ABSTRACT

A dilemma skirting the discipline of computer architecture concerns the plausibility of architectural designs. To counter the widely held perception that architecture is a nebulous entity is a proposal to view such designs as specifications of constraints to be satisfied.

REFERENCES

• 1: Agiiero. U. A theory of plausibility for computer architecture designs. Ph.D. dissertation. Center for Advanced Computer Studies. Univ. of Southwestern Louisiana. Lafayette, 1987.
• 2: Baer. J.L. Compufer Systems Architecfure. Computer Science Press. Rockville. Md.. 1980.
• 3: Subrata Dasgupta, On the verification of computer architectures using an architecture description language, Proceedings of the 10th annual international symposium on Computer architecture, p.32-38, June 13-17, 1983, Stockholm, Sweden
• 4: Subrata Dasgupta, The design and description of computer architectures, John Wiley & Sons, Inc., New York, NY, 1984
• 5: Dasgupta. S.. Wilsey, P.A.. and Heinanen. J. Axiomatic specifications in firmware development systems. IEEE So@. 3, 4 (June 19861, 49-58.
• 6: Dennis, 1.B.. et al. Research directions in computer architecture. In Research Directions m Software Technology. P. Wegner, Ed. MIT Press. Cambridge. Mass., 1979.
• 7: John K. Dixon , John McLean , David L. Parnas, Rapid prototyping by means of abstract module specifications written as trace axioms, ACM SIGSOFT Software Engineering Notes, v.7 n.5, p.45-49, December 1982
• 8: Flynn. M.J., and Hoevel. L.W. Execution architecture: The DELtran experiment. IEEE Trans. Comput. C-32, 2 (Feb. 198.3). 156-174.
• 9: Fuller, S.H., et al. Evaluation of computer archittxtures via test programs. In Proceedings of AFIPS National Computer Conference, vol. 46 (Dallas. Tex., June 13-16). AFIPS Press. R&on, Va.. 1977, pp. 147-160.
• 10: David Gries, The Science of Programming, Springer-Verlag New York, Inc., Secaucus, NJ, 1987
• 11: Manolis G. H. Katevenis, Reduced instruction set computer architectures for VLSI, Massachusetts Institute of Technology, Cambridge, MA, 1985
• 12: Krishna M. Kavi , K. Krishnamohan, Architecture quality, ACM SIGARCH Computer Architecture News, v.12 n.1, p.64-72, March 1984 [doi>10.1145/641602.641609]
• 13: Kuhn, T.S. The Strucfure of Scienfific Reuolufions. University of Chicago Press, Chicago, III.. 1970.
• 14: MacGregor. D., and Mothersole, D.S. Virtual memory and the MC68010. IEEE Micro (June 1983). 24-39.
• 15: John McLean, A Formal Method for the Abstract Specification of Software, Journal of the ACM (JACM), v.31 n.3, p.600-627, July 1984 [doi>10.1145/828.829]
• 16: Elliott Mendelson, Introduction to mathematical logic (3rd ed.), Wadsworth Publ. Co., Belmont, CA, 1987
• 17: Morris. D.. and Ibbett. R.N. The MU5 Compufer Sys'em. Springer- Verlag, New York, 1979.
• 18: Glenford J. Myers, Advances in Computer Architecture, John Wiley & Sons, Inc., New York, NY, 1982
• 19: Robert P. Colwell , Charles Y. Hitchcock, III , E. D. Jensen , H. M. Brinkley Sprunt , Charles P. Kollar, Computers, complexity, and controversy, Computer, v.18 n.9, p.8-19, Sept. 1985 [doi>10.1109/MC.1985.1663000]
• 20: Peuto, B.L. Architecture of a new microprocessor. Computer 12, 2 (Feb. 1979), 10-21.
• 21: Popper. K.R. The Logic of Scienfific Discovery. Harper and Row. New York, 1968.
• 22: S. S. Reddi , E. A. Feustel, A Conceptual Framework for Computer Architecture, ACM Computing Surveys (CSUR), v.8 n.2, p.277-300, June 1976 [doi>10.1145/356669.356673]
• 23: Sakai, H.. et al. Design and implementation of the relational database engine. In Proceedings of the Infernational Confirence on Fifth Generafion Compufer Systems (Tokyo, Japan). ICOT. 1984, pp. 419- 426.
• 24: Siewiorek, D.P.. and Swarz. R.S. The Theory and Practice of Reliable System Design. Digital Press, Bedford, Mass., 1982.
• 25: Siewiarek. D.P., Kini, V.. Mashburn, H.. McConnel S.. and Tsao. M. C.vmp: A voted multiprocessor. Proc. IEEE 66. 10 (Oct. 1978), 1190-1198.
• 26: Simon, H.A. Style in design. In Spatial Synthesis in Computer-Aided Building Design, CM. Eastman, Ed. Wiley, New York. 1975, chap. 9.
• 27: Stritter, E., and Gunter. T. A microprocessor architecture for a changing world: The Motorola 68000. Computer 12. 2 (Feb. 1979). 43-52.
• 28: Taki. K., et al. Hardware design and implementation of the personal sequential inference machine (PSI). In Proceedings of the Znfernafional Conference on Fifth Generafion Computer Systems (Tokyo, Japan). ICOT. 1984. pp. 398-409.
• 29: Raymond W. Turner, Logic for Artificial Intelligence, Prentice Hall PTR, Upper Saddle River, NJ, 1984
• 30: Whalen, T., and Schott, B. Alternative logics for approximate reasoning in expert systems: A comparative study. Int. 1. Man-Mach. Stud. 22 (19851, 327-346.
• 31: Maurice V. Wilkes, Computers Then and Now, Journal of the ACM (JACM), v.15 n.1, p.1-7, Jan. 1968 [doi>10.1145/321439.321440]
• 32: Wilsey. P.A.. et al. An S*M execution environment Tech. Rep. TR87-3-l. Center for Advanced Computer Studies, Univ. of Southwestern Louisiana. Lafayette, Feb. 1987.

INDEX TERMS

Primary Classification:
  B. Hardware
  B.m MISCELLANEOUS
      Subjects: Design management

Additional Classification:
  C. Computer Systems Organization
  C.0 GENERAL
      Subjects: System architectures; Systems specification methodology

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.3 Deduction and Theorem Proving
          Subjects: Nonmonotonic reasoning and belief revision

  J. Computer Applications
  J.6 COMPUTER-AIDED ENGINEERING
      Subjects: Computer-aided design (CAD)

General Terms:
Design, Theory, Verification