System and method for control synthesis using a reachable states look-up table

Abstract

A system and method of implementing thereof that maps and condenses system control using reachable state control words is described. The system includes a control logic block, a look-up table which stores N-bit reachable state control words derived from an implementation description N-bit control signal, and a logic hardware block. The control logic block accesses the look-up table with a M-bit control word address. The accessed look-up table outputs a N-bit reachable state control word which is used to control the logic hardware block so as to simulate functions as defined by a user input description. A method for implementing the system is performed by synthesizing the user input description to generate an implementation description which describes a control model of the system in terms of a control logic block driving a logic hardware block with a N-bit control signal. The implementation description is analyzed to determine the reachable states of the N-bit control signal. A look-up table is created by storing N-bit reachable state control words corresponding to each reachable state of the N-bit control signal. A mapping function is determined between each reachable state control word stored in the look-up table and a M-bit control word address for accessing the look-up table. Finally, a control logic block is configured or programmed to implement the determined mapping function.