Ghassan Al Hayek, Chantal Robach. From Specification Validation to Hardware Testing: A Unified Method. In Proceedings IEEE International Test Conference 1996, Test and Design Validity, Washington, DC, USA, October 20-25, 1996. pages 885-893, IEEE Computer Society, 1996.
Abstract is missing.