| 1984 | Logic programming applied to hardware design specification and verification. | Deepinder P. Sidhu |
| 1984 | A prototype engineering tester for microcode and hardware debugging. | Will Sherwood |
| 1984 | Design verification of a VLSI VAX microcomputer. | Sridhar Samudrala, Charles Lo, John F. Brown III, Richard E. Calcagni |
| 1984 | Applications of pipelining to firmware. | David M. Proulx |
| 1984 | Alternative proposals for implementing Prolog concurrently and implications regarding their respective microarchitectures. | Carl Ponder, Yale N. Patt |
| 1984 | An automatic migration scheme based on modular microcode and structured firmware sequencing. | Christos A. Papachristou, Venkata R. Immaneni, D. B. Sarma |
| 1984 | Microassembly and area reduction techniques for PLA microcode. | Christos A. Papachriston, James M. Reuter |
| 1984 | Global methods in the flow graph approach to retargetable microcode generation. | Robert A. Mueller, Joseph Varghese, Vicki H. Allan |
| 1984 | A survey of resource allocation methods in optimizing microcode compilers. | Robert A. Mueller, Michael R. Duda, Stephen M. O'Haire |
| 1984 | Mapping HLL constructs into microcode for improved execution speed. | Veljko Milutinovic, D. Roberts, Kai Hwang |
| 1984 | A retargetable compiler for a high-level microprogramming language. | Peter Marwedel |
| 1984 | SDVS: A system for verifying microcode correctness. | Leo Marcus, Stephen D. Crocker, Jaisook Landauer |
| 1984 | Microcode verification using SDVS-the method and a case study. | Beth Levy |
| 1984 | An algorithm for selection of migration candidates. | Bernhard Holtkamp, P. Wagner |
| 1984 | Migration implementation by integrating microprogramming and HLL programming. | Juha-Matti Heimonen, Juha Heinnen |
| 1984 | A microcoded multiprocessor crossbar network communications controller. | Clifford L. Hall |
| 1984 | Software tools used in the development of a VLSI VAX Microcomputer. | Robert Gries, James A. Woodward |
| 1984 | MASCO: An academic exercise in computer design using microprogramming. | Jack N. Fenner, Jeffery A. Schmidt, Houssam A. Halabi, Dharma P. Agrawal |
| 1984 | A "metasimulator" for microcoded processors. | J. Eldridge |
| 1984 | Design decisions influencing the microarchitecture for a Prolog machine. | Tep P. Dobry, Yale N. Patt, Alvin M. Despain |
| 1984 | A model of clocked micro-architectures for firmware engineering and design automation applications. | Subrata Dasgupta |
| 1984 | An axiomatization of low-level parallelism in microarchitectures. | Werner Damm |
| 1984 | The generation of simulator-based systems for microcode development. | Colin C. Charlton, D. Jackson, Paul H. Leng |
| 1984 | Transparent microprogramming in support of abstract type oriented dynamic vertical migration. | Edward M. Carter, Robert I. Winner |
| 1984 | Patchable control store for reduced microcode risk in a VLSI VAX microcomputer. | Richard E. Calcagni, Will Sherwood |