Login / Signup
João Paulo Pizani Flor
ORCID
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 2
Top Topics
Computer Systems
Hardware Designs
Fixed Point
Delay Insensitive
Top Venues
ITP
TYPES
IFL
</>
Publications
</>
João Paulo Pizani Flor
,
Wouter Swierstra
Verified Technology Mapping in an Agda DSL for Circuit Design: Circuit refinement through gate and data concretisation.
IFL
(2022)
João Paulo Pizani Flor
,
Wouter Swierstra
Verified Timing Transformations in Synchronous Circuits with \lambda \pi -Ware.
ITP
(2018)
João Paulo Pizani Flor
,
Wouter Swierstra
,
Yorick Sijsling
Pi-Ware: Hardware Description and Verification in Agda.
TYPES
(2015)