DocumentCode

1054720

Title

A Temporal Logic for Multilevel Reasoning about Hardware

Author

Moszkowski, Ben

Author_Institution

Computer Laboratory, Cambridge University

Volume

18

Issue

2

fYear

1985

Firstpage

10

Lastpage

19

Keywords

Circuit simulation; Communication switching; Computer languages; Digital systems; Hardware; Logic devices; Logic programming; Registers;

fLanguage

English

Journal_Title

Computer

Publisher

ieee

ISSN

0018-9162

Type

jour

DOI

10.1109/MC.1985.1662795

Filename

1662795