Logic verification of very large circuits using Shark | IEEE Conference Publication | IEEE Xplore