Follow
João Paulo Pizani Flor
João Paulo Pizani Flor
Verified email at uu.nl
Title
Cited by
Cited by
Year
Π-Ware: An Embedded Hardware Description Language using Dependent Types
JPP Flor, W Swierstra
Master's thesis, Utrecht University, 2014
36*2014
π-Ware: Hardware Description and Verification in Agda
JP Pizani Flor, WS Swierstra, Y Sijsling
21st International Conference on Types for Proofs and Programs TYPES 2015 …, 2016
302016
High-level design and synthesis of a resource scheduler
JPP Flor, TR Mück, AA Fröhlich
2011 18th IEEE International Conference on Electronics, Circuits, and …, 2011
52011
Verified Timing Transformations in Synchronous Circuits with-Ware
JP Pizani Flor, W Swierstra
International Conference on Interactive Theorem Proving, 504-522, 2018
32018
Comparing functional embedded domain-specific languages for hardware description
JPP Flor
Technical report, Utrecht University, 2013
22013
Verified Technology Mapping in an Agda DSL for Circuit Design: Circuit refinement through gate and data concretisation
JP Pizani Flor, W Swierstra
Proceedings of the 34th Symposium on Implementation and Application of …, 2022
2022
Síntese comportamental de componentes de um Sistema Operacional em hardware
JPP Flor
2011
The system can't perform the operation now. Try again later.
Articles 1–7