DESIGN VERIFICATION OF DIGITAL SYSTEMS BY SOFTWARE TESTING TECHNIQUES