A CAD system for logic design based on frames and demons.

Takao Saito, Takao Uehara, Nobuaki Kawato

Browse the full DAC paper archive.