MICRO A*

35 papers

YearTitle / Authors
1984A "metasimulator" for microcoded processors.
J. Eldridge
1984A chip set microarchitecture for a high-performance VAX implementation.
John F. Brown III, Richard L. Sites
1984A microcoded multiprocessor crossbar network communications controller.
Clifford L. Hall
1984A model of clocked micro-architectures for firmware engineering and design automation applications.
Subrata Dasgupta
1984A new universal microprogram converter.
Kazutoshi Takahashi, Etsuo Takahashi, Tatsushige Bitoh, Takao Sugimoto
1984A prototype engineering tester for microcode and hardware debugging.
Will Sherwood
1984A retargetable compiler for a high-level microprogramming language.
Peter Marwedel
1984A survey of resource allocation methods in optimizing microcode compilers.
Robert A. Mueller, Michael R. Duda, Stephen M. O'Haire
1984Alternative proposals for implementing Prolog concurrently and implications regarding their respective microarchitectures.
Carl Ponder, Yale N. Patt
1984An algorithm for selection of migration candidates.
Bernhard Holtkamp, P. Wagner
1984An automatic migration scheme based on modular microcode and structured firmware sequencing.
Christos A. Papachristou, Venkata R. Immaneni, D. B. Sarma
1984An axiomatization of low-level parallelism in microarchitectures.
Werner Damm
1984An improvement of trace scheduling for global microcode compaction.
Bogong Su, Shiyuan Ding, Lan Jin
1984Applications of pipelining to firmware.
David M. Proulx
1984Architecture of a VLSI multiple ISA emulator.
J. L. Wilkes
1984Compaction of two-level microprograms for a multiprocessor computer.
Takanobu Baba, Mitsuru Ikeda, Katsuhiro Yamazaki, Kenzo Okuda
1984Design decisions influencing the microarchitecture for a Prolog machine.
Tep P. Dobry, Yale N. Patt, Alvin M. Despain
1984Design verification of a VLSI VAX microcomputer.
Sridhar Samudrala, Charles Lo, John F. Brown III, Richard E. Calcagni
1984Global methods in the flow graph approach to retargetable microcode generation.
Robert A. Mueller, Joseph Varghese, Vicki H. Allan
1984Improved instruction formation in the exhaustive local microcode compaction algorithm.
Richard P. Atkins
1984Logic programming applied to hardware design specification and verification.
Deepinder P. Sidhu
1984MASCO: An academic exercise in computer design using microprogramming.
Jack N. Fenner, Jeffery A. Schmidt, Houssam A. Halabi, Dharma P. Agrawal
1984Mapping HLL constructs into microcode for improved execution speed.
Veljko Milutinovic, D. Roberts, Kai Hwang
1984Microassembly and area reduction techniques for PLA microcode.
Christos A. Papachriston, James M. Reuter
1984Microcode verification using SDVS-the method and a case study.
Beth Levy
1984Migration implementation by integrating microprogramming and HLL programming.
Juha-Matti Heimonen, Juha Heinänen
1984Patchable control store for reduced microcode risk in a VLSI VAX microcomputer.
Richard E. Calcagni, Will Sherwood
1984Proceedings of the 17th annual workshop on Microprogramming, MICRO 1984, New Orleans, Louisiana, USA, October 30 - November 2, 1984
M. Carter, Robert A. Mueller
1984SDVS: A system for verifying microcode correctness.
Leo Marcus, Stephen D. Crocker, Jaisook Landauer
1984Sequential Prolog machine: Image and host architectures.
Evan Tick
1984Software tools used in the development of a VLSI VAX Microcomputer.
Robert Gries, James A. Woodward
1984TDL: A hardware/microcode test language interpreter.
Gary Staas
1984The generation of simulator-based systems for microcode development.
Colin C. Charlton, D. Jackson, Paul H. Leng
1984The implementation of the attributed recursive descent architecture in VAX-11/780 microcode.
C. D. Ardoin, J. L. Linn, B. W. Reynolds
1984Transparent microprogramming in support of abstract type oriented dynamic vertical migration.
Edward M. Carter, Robert I. Winner