Abstract
Models for the simulation of computer systems at the microarchitectural level are widely used to assist in design analysis and verification, and the development of microcode. The general model we describe here represents the behaviour of a clocked microarchitecture through the application of functions to component states and signal values. The operational semantics of the model are based partly on data flow and partly on graph reduction, allowing use to be made of the concept of 'lazy' evaluation to aid efficient simulation.
- 1 Dasgupta, S., "S A: A Language for Describing Computer Architectures", Proc. 5th Conf. on Computer Hardware Description Languages and their Applications, 65-78 (1981)Google Scholar
- 2 Piloty, R., and Borrione, D., "The Conlan Project: Concepts, Implementations, and Applica.tions", IEEE Computer, 18(2), 81-92 (1985)Google Scholar
Digital Library
- 3 Maruyama, F., and Fujita, M., "Hardware Verification", IEEE Computer, 18(2), 22-32 (1985)Google Scholar
Digital Library
- 4 Hill, D., and Van Cleemput, W.M., "Sable: A Tool for Generating Structured, Multi-Level Simulations", Proc. Design Automation Conference, 272-279 (1979) Google Scholar
Digital Library
- 5 Pawlak, A., and Jezewski, J., "MODLAN - A Language for Multilevel Description and Modelling of Digital Sys terns", Proc. 5th Conf. on Computer Hardware Description Languages and their Applications, 79-93 (1981)Google Scholar
- 6 Mermet, J., "The CASCADE Hierarchical Multilevel Mixed-Mode (HM3) Simulator", in 'Microcomputers, Usage and Design', K. Waldschmidt and B. Myhrhaug (eds), 181-192, North Holland (1985)Google Scholar
- 7 Firth, N.R., "The Role of Software Tools in the Development of the Eclipse MV/8000 Microcode", Proc. 13th Annual Microprogramming Workshop, IEEE, 54-58 (1980) Google Scholar
Digital Library
- 8 Thomas, D.E., et al, ""Automatic Data Path Synthesis", IEEE Computer 16(12), 59-70 (1983)Google Scholar
Digital Library
- 9 Mueller, R.A., and Varghese, J., "Flow Graph Machine Models in Microcode Synthesis", Proc. 16th Annual Micoprogramming Workshop, IEEIE, 159-167, (1983)Google Scholar
Digital Library
- 10 Mezzalama, M., and Prinetto, P., "A Strategy for Simulating Bit-Slice Based Microprogrammable Systems", Microprocessing and Microprogramming 7, 334-343 (1981)Google Scholar
Cross Ref
- 11 Gordon, M.J.C., "Register Transfer Systems and their Behaviour", Proc. 5th Conf. on Hardware Description Languages and their Applications, 23-36 (1981)Google Scholar
- 12 Damm, W., "A Microprogramming Logic", Report 94, Lehrstuhl fur Informatik II, RWTH Aachen, West Germany (1984)Google Scholar
- 13 Moszkowski, B., "A Temporal Logic for Multilevel Reasoning about Hardware", IEEE Computer 18(2), lo-19 (1985)Google Scholar
- 14 Hansen, I. and Leszczylowski, "On Fundamentals of Computer-Aided Design of Firmware", Proc. 13th Annual Microprogramming Workshop, IEEE, 3-12 (1983) Google Scholar
Digital Library
- 15 Dasgupta, S., "A Model of Clocked Micro-Architectures for Firmware Engineering and Design Automation Applications", Proc. 17th Annual Microprogramming Workshop, IEEE, 298-308 (1984) Google Scholar
Digital Library
- 16 Backus, J.W., "Can Programming be Liberated from the Von Neumann Style? A Functional Style and its Algebra of Programs", Comm. ACM 21(8), 613-641 (1978) Google Scholar
Digital Library
- 17 Turner, D.A., "Recursion Equations as a Programming Language", in 'Functional Programming and its Applications', D.A. Turner, P. Henderson and J. Darlington (Eds), C.U.P. (1981)Google Scholar
- 18 Henderson, P., and Morris, J., "A Lazy Evaluator", Proc. 3rd ACM Symposium on Principles of Programming Languages, 95-103 (1976) Google Scholar
Digital Library
- 19 Morison, J.D., Peeling, N.E., and Thorp, T.L., "ELLA: A Hardware Description Language", Proc. IEEE Int. Conf. Circuits and Computers, 604-607 (1982)Google Scholar
- 20 Treleaven, P.C., Brownbridge, D.R. and Hoskins, R.P., "Data-Driven and Demand-Driven Computer Architectures", ACM Computing Surveys 14(l), 93-143 (1982) Google Scholar
Digital Library
- 21 Charlton, C.C., Jackson, D., and Leng, P.H., "The Generation of Simulator-Based Systems for Microcode Development", Proc. 17th Annual Microprogramming Workshop, IEEE, 114-121 (1984) Google Scholar
Digital Library
- 22 Szygenda, S.A. and Thompson, E.W., "Digital Logic Simulation in a Time-Based, Table-Driven Environment. Part 1: Design Verification", IEEE Computer, March 1975, 24-36.Google Scholar
Index Terms
A functional model of clocked microarchitectures
Recommendations
A functional model of clocked microarchitectures
MICRO 22: Proceedings of the 22nd annual workshop on Microprogramming and microarchitectureModels for the simulation of computer systems at the microarchitectural level are widely used to assist in design analysis and verification, and the development of microcode. The general model we describe here represents the behaviour of a clocked ...






Comments