Tianqi Fang

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 3

Top Topics

Content Addressable Memory

Reactive Systems

Binary Decision Diagrams

Formal Verification

Top Venues

Publications

Tianqi Fang, Lisong Xu, Witawas Srisa-an, Jay Patel
Evaluation of the ProgHW/SW Architectural Design Space of Bandwidth Estimation. PAM (2023)
Tianqi Fang, Lisong Xu, Witawas Srisa-an
Efficient Verification of Timing-Related Network Functions in High-Speed Hardware. INFOCOM (2023)
Tianqi Fang, Lisong Xu, Witawas Srisa-an
Automated Field-based Decomposition to Accelerate Model Checking FPGA-based TCP/IP. ICC (2020)