Title: Abstraction mechanisms for hardware verification