The nucleus of a three-valued functional simulator for logic verification: description and performance experiments