Scalable model checking in functional verification by integrating user-guided abstraction Grant US-11200361-B1 United States of America 14 Dec 2021