Proof-Carrying Approximate Circuits
| Autor: | Tobias Wiersema, Linus Witschen, Marco Platzner |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Very-large-scale integration
Computer science media_common.quotation_subject 02 engineering and technology Energy consumption Certificate 020202 computer hardware & architecture Set (abstract data type) Core (game theory) Computer engineering Hardware and Architecture 0202 electrical engineering electronic engineering information engineering Quality (business) Electrical and Electronic Engineering Formal verification Software media_common |
| Zdroj: | IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 28:2084-2088 |
| ISSN: | 1557-9999 1063-8210 |
| Popis: | Approximate circuits (AxCs) tradeoff computational accuracy against improvements in hardware area, delay, or energy consumption. IP core vendors who wish to create such circuits need to convince consumers of the resulting approximation quality. As a solution, we propose proof-carrying AxCs. The vendor creates an approximate IP core together with a certificate that proves the approximation quality. The proof certificate is bundled with the approximate IP core and sent off to the consumer. The consumer can formally verify the approximation quality of the IP core at a fraction of the typical computational cost for formal verification. In this brief, we first make the case for proof-carrying AxCs and then demonstrate the feasibility of the approach by a set of synthesis experiments using an exemplary approximation framework. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|