CALCULUS FOR TESTING COMPLEX DIGITAL SYSTEMS.