A Framework for the High-Level Specification and Verification of Synchronous Digital Logic Systems.

Nick Mertin Richard Ean Karen Rudie

Published in: CoRR (2022)

Keyphrases

high level
asynchronous circuits
low level
main contribution
management system
formal methods
formal verification
higher level
logical framework
digital circuits
programming language
distributed systems
computer systems
rewrite systems