Presented is a computer-aided design program that finds a minimum function description for sequential machines with up to 16 memory states and eight input combinations. The manual design equivalent requires seven-variable Karnaugh maps to develop an efficient realization. The program capitalizes on don\u27t cares to improve the design. All the program needs as input is the design requirements in the form of a state table. First an algorithm minimizes the number of memory states. This reduces hardware cost, since with fewer states, fewer memory and logic elements will be used. Next a binary code is assigned to each state. The rules used for the code assignment further reduce the number of gates needed. Finally the Boolean functions for the n...
[[abstract]]In this paper, we address the problem of state assignment to minimize both area and powe...
The problem of encoding the states of a synchronous Finite State Machine (FSM), so that the area of ...
A fundamental issue in the automated analysis of communicating systems is the efficient generation o...
Presented is a computer-aided design program that finds a minimum function description for sequentia...
Computer-Aided synthesis of sequential functions of VLSI systems, such as microprocessor control uni...
The authors describe a state assignment algorithm for FSMs which produces an assignment of non-neces...
Synthesis of a sequential machine is usually divided into four steps. 1. Development of a state diag...
A complete program to ease the task of large scale Finite State Machine (FSM) minimization presented...
A computer aided design program that minimizes logic networks with up to nine variables is presented...
Experiences with heuristics for the state reduction of finite-state machines are presented and two n...
Often, the desired behavior of a system is known before a design of the system is known. It usually ...
The Algorithmic State Machine (ASM) is a method used to solve more complex industrial problems. The ...
This paper considers two estimation problems which occur during the implementation design for a fini...
This paper describes ASSyUCE, an exploratory environment for Finite State Machines. The environment ...
We consider the state assignment problem as that of the decomposition of finite stare machines and t...
[[abstract]]In this paper, we address the problem of state assignment to minimize both area and powe...
The problem of encoding the states of a synchronous Finite State Machine (FSM), so that the area of ...
A fundamental issue in the automated analysis of communicating systems is the efficient generation o...
Presented is a computer-aided design program that finds a minimum function description for sequentia...
Computer-Aided synthesis of sequential functions of VLSI systems, such as microprocessor control uni...
The authors describe a state assignment algorithm for FSMs which produces an assignment of non-neces...
Synthesis of a sequential machine is usually divided into four steps. 1. Development of a state diag...
A complete program to ease the task of large scale Finite State Machine (FSM) minimization presented...
A computer aided design program that minimizes logic networks with up to nine variables is presented...
Experiences with heuristics for the state reduction of finite-state machines are presented and two n...
Often, the desired behavior of a system is known before a design of the system is known. It usually ...
The Algorithmic State Machine (ASM) is a method used to solve more complex industrial problems. The ...
This paper considers two estimation problems which occur during the implementation design for a fini...
This paper describes ASSyUCE, an exploratory environment for Finite State Machines. The environment ...
We consider the state assignment problem as that of the decomposition of finite stare machines and t...
[[abstract]]In this paper, we address the problem of state assignment to minimize both area and powe...
The problem of encoding the states of a synchronous Finite State Machine (FSM), so that the area of ...
A fundamental issue in the automated analysis of communicating systems is the efficient generation o...