Association for Computing Machinery
In this paper the authors argue the case for the use of analytical models in FPGA architecture exploration. They show that the problem, when simplified, is amenable to formal optimization techniques such as integer linear programming. However, the simplification process may lead to inaccurate models. To test the overall methodology, they feed the resulting architectures to VPR 5.0 and quantify their performance in comparison with traditional design methodologies. Their results show that the resulting architectures are better than those found using parameter sweep techniques.