Catherine Bellon, Gabriele Saucier, J. M. Gobbi. Hardware description levels and test for complex circuits. In Robert J. Smith II, editor, Proceedings of the 18th Design Automation Conference, DAC '81, Nashville, Tennessee, USA, June 29 - July 1, 1981. pages 213-219, ACM/IEEE, 1981. [doi]
Abstract is missing.