Publications | Research

9 results found
Circuits and VLSI Design

Clear all

2025

FVDebug: An LLM-Driven Debugging Assistant for Automated Root Cause Analysis of Formal Verification Failures

Yunsheng Bai, Ghaith Bany Hamad, Chia-Tung (Mark) Ho, Syed Suhaib, Mark Haoxing Ren

A Roadmap Toward Sub 1pJ/b Optical Interconnect

Shai Cohen, Ben Lee, Sanquan Song, Angad Rekhi, Peng Sun, Nandish Mehta, Nikola Nedovic, Georgios Kalogerakis, Li Xu, Trey Greer, Tom Gray

Carrier Photogeneration Impact on Ring Dynamics

Nikola Nedovic, Nandish Mehta, Angad Rekhi, Liron Gantz

Spec2RTL-Agent: Automated Hardware Code Generation from Complex Specifications Using LLM Agent Systems

Zhongzhi Yu, Mingjie Liu, Michael Zimmer, Yingyan (Celine) Lin, Yong Liu, Mark Haoxing Ren

AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL

Yunsheng Bai, Ghaith Bany Hamad, Syed Suhaib, Mark Haoxing Ren

GEM: GPU-Accelerated Emulator-Inspired RTL Simulation

Zizheng Guo, Yanqing Zhang, Mark Haoxing Ren

Best Paper Award Nomination at DAC, 2025

Marco: Configurable Graph-Based Task Solving and Multi-AI Agents Framework for Hardware Design

Chia-Tung (Mark) Ho, Jing Gong, Yunsheng Bai, Chenhui Deng, Mark Haoxing Ren, Brucek Khailany

All-SMF Arrays for Co-Packaged Optics: Optimizing Cost, Complexity and Performance

Nandish Mehta, Segev Zarkovsky, Ben Lee, Raymond Chen, Shai Cohen, Liron Gantz, Tom Gray

Overcoming Challenges of Co-integrated Optics to Advance Accelerated Computing

Nandish Mehta, Ben Lee