An interactive logic synthesis system based upon AI techniques.

Nobuaki Kawato, Takao Uehara, Sadaki Hirose, Takao Saito

Browse the full DAC paper archive.