design and verification