Applied Assertion-Based Verification | lit.salon