Information Flow Analysis for VHDL

Terkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson. Information Flow Analysis for VHDL. In Victor E. Malyshkin, editor, Parallel Computing Technologies, 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings. Volume 3606 of Lecture Notes in Computer Science, pages 79-98, Springer, 2005. [doi]

Abstract

Abstract is missing.