关注
João Paulo Pizani Flor
João Paulo Pizani Flor
在 uu.nl 的电子邮件经过验证
标题
引用次数
引用次数
年份
Π-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
322016
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
Utrecht University, 2013
32013
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
系统目前无法执行此操作,请稍后再试。
文章 1–7