Deakstadieđáhus: Precise abstract interpretation of hardware designs