Digital Integrated Circuit Design: Functional Verification