FAN algorithm
subject: Category:Electronic circuit verification