A Temporal Logic for Multilevel Reasoning about Hardware

The correctness problem in computer science

Mathematics and Computers in Simulation · 1983 · 355 citations

Computing, Computer Science, Algorithms +11

Instruction set processor specifications (ISPS): The notation and its applications

Mario R. Barbacci · IEEE Transactions on Computers · 1981 · 252 citations · Full text

Engineering, Computer Engineering, Computer Science +13

Hardware Specification with Temporal Logic: An Example

Bochmann · IEEE Transactions on Computers · 1982 · 96 citations

Engineering, Computer Engineering, Computer Science +17

Slide: An I/O Hardware Descriptive Language

。 Wallace · IEEE Transactions on Computers · 1981 · 21 citations

Engineering, Computer Engineering, Computer Science +17

Temporal logic based hardware description and its verification with Prolog

Masahiro Fujita, Hidehiko Tanaka, Tohru Moto-Oka · New Generation Computing · 1983 · 17 citations

Engineering, Computer Engineering, Computer Science +14