Describir: Precise abstract interpretation of hardware designs