Verified Timing Transformations in Synchronous Circuits with \lambda \pi -Ware.

João Paulo Pizani Flor Wouter Swierstra

Published in: ITP (2018)

Keyphrases

asynchronous circuits
delay insensitive
fixed point
digital circuits
analog circuits
logic synthesis
vlsi circuits
data sets
databases
search algorithm
tunnel diode
machine learning
fuzzy logic
high speed
lambda calculus