Formal hardware verification based on signal correlation properties
-
Published:
Issue:
Volume:
Page:
-
ISSN:
-
Container-title:IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2004. ICCD 2004. Proceedings.
-
language:
-
Short-container-title:
Author:
Kikkeri N.,Seidel P.-M.