Scalable Approximation of Complex Systems with Formal Error Guarantees
Školitel: Tomas Vojnar
Instituce: Brno University of Technology, Faculty of Information Technology
Obor: Computer Science and Engineering
O mém projektu
The main goal of approximate computing is to reduce system resource demands by relaxing the requirement that its underlying computations are always performed correctly. The design of complex approximate systems is demanding and current approaches struggle to develop hardware circuits larger than 10-bit multipliers. In order to develop scalable approximation techniques, we propose to utilise advanced formal verification methods to quantify the approximation error of candidate solutions.