An Interactive Tool for Register-Level Structure Optimization

This paper presents a program named RLEXT (Register Level Exploration Tool), which allows a user to manually modify a register-level datapath design. The allowed operations are addition and deletion of components and connections. Any component not an i/o port, a register, or an addressable memory may be added or deleted. Any wire or connection of a pin to a wire may be added or deleted. The unique aspect of RLEXT is that the continued ability of the datapath to support its behavioral specifications is guaranteed: that is, if the user makes changes that would impair the datapath´s ability to carry out the desired function, RLEXT will automatically repair the datapath so that it is once again able to express the specified behavior.