Random testing of digital circuits : theory and applications /: theory and applications. (2020)