Přibližná ekvivalence pro aproximativní počítání

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 20 (SGA0201600001)

Hlavní účastníci

Vysoké učení technické v Brně / Fakulta informačních technologií

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

16-17538S

Název projektu anglicky

Relaxed equivalence checking for approximate computing

Anotace anglicky

Approximate computing is a promising approach to obtain energy-efficient computer systems. It exploits the fact that many applications are error resilient, i.e., do not require a perfect output to be produced. An open problem is how to effectively obtain approximations that are good compromises between the error ratio, power consumption, and performance. Using evolutionary algorithms for the approximation has led to promising results, but it suffers from scalability problems in evaluating candidate solutions. For that, we propose a novel way: using advanced methods of formal verification redesigned to quickly calculate distances between candidate approximations and the reference implementation, which we call relaxed equivalence checking. The project seeks the following original contributions: (1) efficient algorithms for relaxed equivalence checking of combinational (stateless) and sequential (stateful) systems, (2) approximation algorithms based on genetic programming using the proposed relaxed equivalence checking, (3) experimental evaluation of the proposed approximation methods.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

JC - Počítačový hardware a software

CEP - vedlejší obor

—

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

20206 - Computer hardware and architecture

Hodnocení poskytovatelem

V - Vynikající výsledky projektu (s mezinárodním významem atd.)

Zhodnocení výsledků projektu

Projekt se věnoval výzkumu použití metod přibližné ekvivalence pro aproximativní počítání. Bylo dosaženo řady výzkumných výsledků v tomto oboru, které byly publikovány v kvalitních konferencích a časopisech. Výzkum vedl i k několika zvaným přednáškám a oceněním.

Zahájení řešení

1. 1. 2016

Ukončení řešení

31. 12. 2018

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

26. 4. 2018

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP19-GA0-GA-U/01:1

Datum dodání záznamu

12. 6. 2019

Celkové uznané náklady

9 022 tis. Kč

Výše podpory ze státního rozpočtu

6 984 tis. Kč

Ostatní veřejné zdroje financování

2 038 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč