Describir: High-level VLSI synthesis /