ADeLe – the Approximation Description Language – is the language that powers the approximation representation in VArchC. ADeLe was specially design to represent approximations injected into an architecture, in a generic way, offering designers an alternative to reduce the effort on verifying Approximate Computing techniques.
The approximation representation proposed by ADeLe is composed of a set of models and a description file that relates them. The ADeLe Description File declares all the models to be injected into a CPU design (instruction, energy, and probability), defines sets of operating parameters, groups instructions in the ISA to support approximation injection, and describes the approximations themselves.