Design and Functional Testing of Digital Systems with Unknown Functionality