Donatella Sciuto, Luciano Baresi, Cristiana Bolchini. Software methodologies for VHDL code static analysis based on flow graphs. In Graham Symonds, Wolfgang Nebel, editors, Proceedings of the conference on European design automation, EURO-DAC '96/EURO-VHDL '96, Geneva, Switzerland, September 16-20, 1996. pages 406-411, IEEE Computer Society Press, 1996. [doi]
Abstract is missing.