Takashi Kambe Akihisa Yamada Koichi Nishida Kazuhisa Okada Mitsuhisa Ohnishi Andrew Kay Paul Boca Vince Zammit Toshio Nomura A C-based synthesis system, Bach, and its application (invited talk). 151-155 2001 conf/aspdac/2001 ASP-DAC http://doi.acm.org/10.1145/370155.370309 db/conf/aspdac/aspdac2001.html#KambeYNOOKBZN01