Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
The essence of Verilog: A tractable and tested operational semantics for Verilog
Published in OOPSLA 2023, 2023
This paper is about the formal operational semantics of Verilog.
Recommended citation: Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan*, Chang Xu, Xiaoxing Ma, and Yue Li*. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Cascais, Portugal, October 2023.
Download Paper | Download Slides | Download Bibtex
talks
Verilator: The Fast Free Hardware Simulator
Published:
This is a course presentation talk about a widely-used tool, Verilator, which is a fast free hardware simulator that serves as the foundation of hardware design and verification.
teaching
Structure and Implementation of Computer Programs, TA
Undergraduate course, Nanjing University, Computer Science, 2024
My first experience as a teaching assistant for a freshmen-year course. The course website can be found here
Structure and Implementation of Computer Programs, TA
Undergraduate course, Nanjing University, Computer Science, 2025
I continued to be one of the teaching assistants for SICP in 2025, which is again cool. The course website can be found here