An algebraic model for design space with applications to function module generation

The design space exploration has been a goal of silicon-compilation for quite a while. But the function module generators (for functions such as adder, shifter and multiplier) do not have a concise model for their design space. This limits their ability to explore the design space. Hence they produce a fixed design which in turn hampers the design space exploration ability of the design synthesis environment. The author describes an algebraic model of design space that helps incorporate this flexibility into module generators