Testing of digital circuits