Path Predicate Abstraction for Sound System-Level Models of RT-Level Circuit Designs | IEEE Journals & Magazine | IEEE Xplore