Describir: Compiler-aided design :