Shigeru Yamashita Katsunori Tanaka Hideyuki Takada Koji Obata Kazuyoshi Takagi A transduction-based framework to synthesize RSFQ circuits. 266-272 2006 conf/aspdac/2006 ASP-DAC http://doi.acm.org/10.1145/1118299.1118368 db/conf/aspdac/aspdac2006.html#YamashitaTTOT06