Property-driven Automatic Generation of Reduced-ISA Hardware 

Dr. Rakesh Kumar and his team have developed a new system and tool to analyze logic circuits and find opportunity to automatically optimize them. This technology automatically identifies unused instructions from microprocessors that an application is guaranteed not to exercise, eliminates these components and optimizes the design to reduce their cost, area and power requirement. This system uses a combination of techniques that differ from prior methods and leads to improved results. Instead of adding instructions to a specific design, it automatically removed unused ones and generates enhanced hardware from arbitrary designs.