From design space exploration to code generation: a constraint satisfaction approach for the architectural synthesis of digital VLSI circuits - TIMMER, Adwin H. ; (Technische Universiteit Eindhoven, 1996)