A Temporal Logic for Multilevel Reasoning about Hardware | IEEE Journals & Magazine | IEEE Xplore