Anura Puissochet

A new tool for random testability evaluation using simulation and formal proof

Michel Poize, Emmanuel Simeu, Anne-Marie Tagant, 1992, Digest of Papers. 1992 IEEE VLSI Test Symposium.