Jiri Matyas

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.