Assisting abstraction and verification of hardware intellectual property (ip) modules | DealShopping Belgique