IEEE Transactions on Computers · 1979 · 36 citations · 9 references
ComputingComputer EngineeringComputer ScienceAlgorithmsComputer ArchitectureOptimizationComputational ComplexityInteger ProgrammingMemory Subsystem DesignBit OptimizationBit-width OptimizationBitwidth OptimizationControl Memory DesignMicroarchitectural OptimizationMicroinstruction ControlMicroinstruction Design
The general problem of formatting microinstructions so as to minimize the width of words in control memory is shown to be computationally difficult. Hence, we should not attempt to solve the general case, but concentrate on heuristics for reasonable subcases.
9
The complexity of theorem-proving procedures
Stephen Cook · 1971 · 6.2K citations · Full text
Microprogram Optimization: A Survey
Agerwala · IEEE Transactions on Computers · 1976 · 103 citations