এই পাঠটি: Precise abstract interpretation of hardware designs