Stepwise refinement of behavioral VHDL specifications by separation of synchronization and functionality

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]

Authors

Claus Schneider

This author has not been identified. Look up 'Claus Schneider' in Google

Wolfgang Ecker

This author has not been identified. Look up 'Wolfgang Ecker' in Google