Pi-Ware: Hardware Description and Verification in Agda.

João Paulo Pizani Flor Wouter Swierstra Yorick Sijsling

Published in: TYPES (2015)

Keyphrases

hardware designs
low cost
hardware and software
model checking
real time
high level
data acquisition
computer systems
single chip
embedded systems
hardware implementation
computing systems
computational power
computing platform
hardware design
fingerprint verification
asynchronous circuits