Title :
A Temporal Logic for Multilevel Reasoning about Hardware
Author_Institution :
Computer Laboratory, Cambridge University
Keywords :
Circuit simulation; Communication switching; Computer languages; Digital systems; Hardware; Logic devices; Logic programming; Registers;
DOI :
10.1109/MC.1985.1662795
