Configware Design Space Exploration Using Rewriting Logic

The FELIX tool flow provides an integrated and complete development environment from a mathematical specification down to the hardware configuration level, while offering the developer a fast methodology to generate and evaluate different implementation alternatives and trade-offs for a given application. Future work includes the expansion of the rewriting rules and strategies library and the inclusion of specific strategies for managing dynamic reconfiguration and new rewriting logic strategies for obtaining different resource, performance and power trade-offs. Additional parameterized functions and function blocks is added to the rewriting and function library