Microprocessing and Microprogramming
Volume 27, Issues 1–5, August 1989, Pages 607-618
Verification oriented approach to concurrent microprogramming with the language C-MIDDLE☆
References (21)
- et al.
Implementing fast Fourier transforms using the Am29500 family
Microprocessors and Microsystems
(1987) A microprogrammed diagnostic image processor
- et al.
A survey of microprogramming languages
Microprocessing and Microprogramming
(1986) MetaSoft Primer, Towards a Metalanguage for Applied Denotational Semantics
(1987)- et al.
Naive denotational semantics
A microprogramming logic
IEEE Trans. on Software Engineering
(1988)Some implications of programming methodology for microprogramming language design
Hardware description languages in microprogramming systems
Computer
(1985)High level microprogramming - current usage, future prospects
Proc. of MICRO-16
ACM SIGMICRO Newsletter
(1983)- et al.
Verification, design and description oriented microprogramming language
There are more references available in the full text version of this article.
Cited by (0)
- ☆
This research was supported by a grant under the Project RP.I.09
Copyright © 1989 Published by Elsevier B.V.