Describir: Applications of specification and design languages for SoCs