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
25*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
212016
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
Comparing functional embedded domain-specific languages for hardware description
JPP Flor
Technical report, Utrecht University, 2013
22013
Verified Timing Transformations in Synchronous Circuits with -Ware
JPP Flor, W Swierstra
International Conference on Interactive Theorem Proving, 504-522, 2018
1*2018
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–6