Assertion-Based Design with Horus | IEEE Conference Publication | IEEE Xplore