Journal Article10.1109/TC.1976.1674537
Microprogram Optimization: A Survey
102
TL;DR: For the majority of the techniques studied, much further work remains to be done before any practical applications can be foreseen, however some methods however constitute steps in the right directions.
read more
Abstract: The application of microprogramming in present day computers is rapidly increasing and microprogramming will undoubtedly play a major role in the next generation of computer systems. Microprogram optimization is one way to increase efficiency and can be crucial in some applications. Optimization, in this context refers to a reduction/minimization of control store and/or execution time of microprograms. The numerous strategies are classified under four broad categories: word dimension reduction, bit dimension reduction, state reduction, and heuristic reduction. The various techniques are presented, analyzed, and compared. Unfortunately, the results of the survey are not too positive. The reason is that much of the work on optimization has been devoted to obtaining the absolute minimum solutions rather than "good engineering reductions." Whether the reduction is being performed with respect to the word dimension, the bit dimension or the number of states existing techniques to obtain the optimum solution use exhaustive enumeration. Thus, the effort involved is prohibitive and there are no guarantees that significant reductions can be obtained. It is thus doubtful that an optimum solution can be justified even when the microcode produced is frequently executed. Heuristic reduction techniques do not guarantee an optimum solution but can provide some reduction with little effort. For the majority of the techniques studied, much further work remains to be done before any practical applications can be foreseen. Some methods however constitute steps in the right directions. Directions for future research are briefly outlined in the conclusions.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Hardware/software co-design
G. De Michell,Rajesh Gupta +1 more
- 01 Mar 1997
TL;DR: Co-design issues and their relationship to classical system implementation tasks are discussed to help develop a perspective on modern digital system design that relies on computer aided design (CAD) tools and methods.
Some scheduling techniques and an easily schedulable horizontal architecture for high performance scientific computing
B. R. Rau,C. D. Glaeser +1 more
- 01 Dec 1981
TL;DR: A novel architecture and a powerful scheduling algorithm that yields optimal and near-optimal schedules for iterative computations for horizontal architectures are developed.
455
Algorithms for the Satisfiability (SAT) Problem: A Survey,
Jun Gu,Paul Walton Purdom,John Franco,Benjamin W. Wah +3 more
- 01 Jan 1996
TL;DR: This survey presents a general framework (an algorithm space) that integrates existing SAT algorithms into a unified perspective and describes sequential and parallel SAT algorithms including variable splitting, resolution, local search, global optimization, mathematical programming, and practical SAT algorithms.
Instruction-level parallel processing: history, overview, and perspective
TL;DR: Instruction-level parallelism (ILP) as mentioned in this paper is a family of processor and compiler design techniques that speed up execution by causing individual machine operations to execute in parallel, and it has become a much more significant force in computer design.
348
Evaluation and improvement of Boolean comparison method based on binary decision diagrams
Masahiro Fujita,H. Fujisawa,N. Kawato +2 more
- 07 Nov 1988
TL;DR: The results show that binary decision diagrams (BDD) with the proposed ordering method can verify almost all benchmark circuits in less than several central processor unit (CPU) minutes, which is one hundred times faster than times reported in the literature.
283
References
•Book
Switching and Finite Automata Theory
Zvi Kohavi,Niraj K. Jha +1 more
- 01 Jan 2010
TL;DR: Theories are made easier to understand with 200 illustrative examples, and students can test their understanding with over 350 end-of-chapter review questions.
1.7K
A High-Level Language for Horizontal Microprogramming
C.V. Ramamoorthy,M. Tsuchiya +1 more
TL;DR: A high-level language, SIMPL (Single Identity MicroProgramming), for horizontal microprogramming has been developed, which allows the SIMPL compiler to easily detect concurrent microoperations and to optimize their intricate timing and concurrency for generating highly parallel and efficient object microprograms in horizontal formats.
86
On the Minimization of READ-ONLY Memories in Microprogrammed Digital Computers
A. Grasselli,U. Montanari +1 more
TL;DR: An algorithm for minimizing the bit dimension of READ- ONLY memories employed in the control section of microprogrammed digital computers is illustrated.
75
An algorithm for minimizing read only memories for machine control
Scott J. Schwartz
- 15 Oct 1968
TL;DR: An algorithm for minimizing the storage required of a Read Only Memory that is going to be used as the control element for a digital machine based upon the fact that not all sub-commands are required in all words so that bits of the memory may be time shared between subcommands.
68
Optimization Strategies for Microprograms
R.L. Kleir,C.V. Ramamoorthy +1 more
TL;DR: A translator from machine code to microcode appears feasible and is described, and a compiler techniques are reviewed and adapted to improve microprograms by studying operational interaction.
64