Giovanni De Micheli, Vincnet J. Mooney III, Claudionor Nunes Coelho, Toshiyuki Sakamoto. Synthesis from mixed specifications. 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 114-119, IEEE Computer Society Press, 1996. [doi]
Abstract is missing.