Assertion-Based Design door