Plato: A Tool for Behavioural Specification of Asynchronous Circuits.

Jonathan Beaumont

Published in: ACSD (2017)

Keyphrases

asynchronous circuits
process algebra
delay insensitive
model checking
software tools
analysis tool
data sets
high level
relational databases
software engineering
formal specification
formal methods