Claus Schneider, Wolfgang Ecker. Stepwise refinement of behavioral VHDL specifications by separation of synchronization and functionality. 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 509-514, IEEE Computer Society Press, 1996. [doi]
Abstract is missing.