“embedded systems design and verification”