selected publications

• academic article

  • Toward RISC-V CSR Compliance Testing.  IEEE Embedded Systems Letters.  13:202-205. 2021

• conference paper

  • Advanced Environment Modeling and Interaction in an Open Source RISC-V Virtual Prototype.  Proceedings of the Great Lakes Symposium on VLSI 2022. 2022
  • Virtual Prototype driven Design, Implementation and Evaluation of RISC-V Instruction Set Extensions.  . 2022
  • Automated Detection of Spatial Memory Safety Violations for Constrained Devices.  2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC). 2022
  • Systematic RISC-V based Firmware Design^⋆.  . 2019