DIGITEST: a structural language based on algebraic models of the logic topology and the time behaviour of digital circuits