HANNIBAL: an efficient tool for logic verification based on recursive learning.

Wolfgang Kunz

Browse the full ICCAD paper archive.