Abstract
A real-time model of microprogrammed hardware is described. It is used for firmware classification and for stating the conditions under which an equivalent discrete-time model can be introduced. We also give a brief description of a computer-aided firmware design system, which was based on these models.
- 1 T.Agrawala, "Microprogram optimisation: a survey", IEEE tr. on Comp., 1976/10Google Scholar
- 2 P.W.Alfvin, "A formal definition of AMDL", ISI Univ.of South.Cal., 1979/10Google Scholar
- 3 M.R.Barbacci, "The ISPS Computer Description Language", Dept.of Comp.Sc., Carnegie-Mellon Univ., 1978Google Scholar
- 4 H.Berndt, "CHDL versus HMPL: Computer Hardware Description Language developments and Higher Microprogramming Language designs", Workshop on Computer Hardware Description Languages, Darmstadt, 31 VII - 2 VIII 1974Google Scholar
- 5 Bogo, Guyot, Lux, Mermet, Payan, "CASSANDRE and the Computer Aided Logical Systems Design", proc. of IFIP Congress 1971Google Scholar
- 6 W.C.Carter, W.H.Joyner, D.Brand, "Microprogram verification considered necessary", Research Report, IBM T. J. Watson Research CenterGoogle Scholar
- 7 Y.Chu, "Computer organisation and microprogramming", Prentice Hall, 1972Google Scholar
- 8 Y.Chu, "Introducing CDL", IEEE tr. on Comp., 1974/12Google Scholar
- 9 S.Crocker, "A formalism for representing segments of computation", PhD Thesis, Comp.Sc.Dept., UCLA 1977 Google Scholar
Digital Library
- 10 P.Dembinski, S. Budkowski, I.Hansen, J.Leszczylowski, A.Paplinski, "Verification-oriented microprogramming language", ICS PAS Report 293, Warsaw 1977Google Scholar
- 11 I.Hansen, "A formal method for firmware modelling and analysis", PhD Thesis, Comp. Sc. Dept., Warsaw Technical University, 1978Google Scholar
- 12 I.Hansen,J.Leszczylowski, "Microprogram-oriented model of the control structure", Proc. of Int. Symp. on Math. Foundations of Computer Science, Gdansk, Lect. Notes in Comp. Sc. Springer-Verlag 1976Google Scholar
- 13 I.Hansen, J.Leszczylowski, "MIDAS: real and discrete-time firmware design", Univ. of Edinburgh Internal Report (to appear)Google Scholar
- 14 IEEE tr. on Comp., spec. issue on microprogr.Google Scholar
- 15 W. H. Joyner, W.C.Carter, G.B.Leeman, "Automated proofs of microprogram correctness", Proc. of 9-th Microprogramming Workshop, 1976 Google Scholar
Digital Library
- 16 D.A.Patterson, "STRUM: Structured Microprogramming System for Correct Firmware", IEEE tr. on Comp., 1976/10Google Scholar
- 17 L.Smith, "The Elementary Structural Description Language", Univ. of Edinburgh Int. Report, 1980Google Scholar
- 18 G.Wood, "Global optimisation of microprograms", Proc. of MICRO 12, 18-21 XI 1979, Hershey, Penn. Google Scholar
Digital Library
Index Terms
On fundamentals of computer-aided design of firmware
Recommendations
Review on Firmware
ICISPC 2017: Proceedings of the International Conference on Imaging, Signal Processing and CommunicationThis paper presents a review on firmware and the process of firmware development including firmware development model, current trend in firmware development, task scheduling, debugging, documenting the source code and discussed some information related ...






Comments