Describir: Testing of Digital Systems