Functional modelling and testing of digital circuits
D. Borrione, J.-L. Paillet, Laurence Pierre, Hélène Collavizza · HAL AMU · 1989
The approach suggested by a team engaged in augmentation of simulated circuit validation by automatic testing is explained with reference to a functional model and three automatic demonstration software packages: a tautology demonstrator, a Boyer & Moore theorem prover, and an OBJ3 rewriting-rule-based system. The performances and fields of application of these tools for automatic testing of digital systems are assessed.