Describir: Design automation of digital systems /