Zilic, Zeljko: Generating Hardware Assertion Checkers | DealShopping Deutschland