Π-Ware: An Embedded Hardware Description Language using Dependent Types JPP Flor, W Swierstra Master's thesis, Utrecht University, 2014 | 38* | 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 | 32 | 2016 |
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 | 5 | 2011 |
Verified Timing Transformations in Synchronous Circuits with-Ware JP Pizani Flor, W Swierstra International Conference on Interactive Theorem Proving, 504-522, 2018 | 3 | 2018 |
Comparing functional embedded domain-specific languages for hardware description JPP Flor Utrecht University, 2013 | 3 | 2013 |
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 | | |