Yanghui Ou
Orcid: 0000-0001-9481-9882
According to our database1,
Yanghui Ou
authored at least 11 papers
between 2018 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Symbolic Elaboration: Checking Generator Properties in Dynamic Hardware Description Languages.
Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023
CIFER: A 12nm, 16mm<sup>2</sup>, 22-Core SoC with a 1541 LUT6/mm<sup>2</sup> 1.92 MOPS/LUT, Fully Synthesizable, CacheCoherent, Embedded FPGA.
Proceedings of the IEEE Custom Integrated Circuits Conference, 2023
2022
Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022
2021
PyH2: Using PyMTL3 to Create Productive and Open-Source Hardware Testing Methodologies.
IEEE Des. Test, 2021
Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2021
UMOC: Unified Modular Ordering Constraints to Unify Cycle- and Register-Transfer-Level Modeling.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021
2020
Feasibility of Fingertip Oscillometric Blood Pressure Measurement: Model-Based Analysis and Experimental Validation.
IEEE J. Biomed. Health Informatics, 2020
PyMTL3: A Python Framework for Open-Source Hardware Modeling, Generation, Simulation, and Verification.
IEEE Micro, 2020
Implementing Low-Diameter On-Chip Networks for Manycore Processors Using a Tiled Physical Design Methodology.
Proceedings of the 14th IEEE/ACM International Symposium on Networks-on-Chip, 2020
2019
Proceedings of the 37th IEEE International Conference on Computer Design, 2019
2018
Comparisons of Oscillometric Blood Pressure Measurements at Different Sites of the Upper Limb.
Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018