Research Labs
All Research Labs
3D Deep Learning
Applied Research
Autonomous Vehicles
Deep Imagination
Publications
AI Playground
New and Featured
AI Art Gallery
NGC Demos
Research Areas
AI & Machine Learning
3D Deep Learning
Computer Vision
Robotics
All Areas
Careers
Academic Collaborations
Government Collaborations
Graduate Fellowship
Internships
Research Openings
Research Scientists
Meet the Team
Licensing
Skip to main content
Publications
Our publications provide insight into some of our leading-edge research.
Filters
Search
Apply
Filters
Filters
Publication Year
2025
(4)
2024
(10)
2023
(18)
2022
(20)
2021
(12)
2020
(12)
2019
(12)
2018
(6)
2017
(3)
2016
(6)
2015
(2)
2014
(1)
2013
(3)
2010
(1)
2007
(1)
Facet Publication Year
Research Areas
Circuits and VLSI Design
(4)
Artificial Intelligence and Machine Learning
(3)
Events
No Results Available
4 results found
Circuits and VLSI Design
Clear all
2025
Circuits and VLSI Design
2025
AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL
Yunsheng Bai
, Ghaith Bany Hamad, Syed Suhaib,
Haoxing (Mark) Ren
Spec2RTL-Agent: Automated Hardware Code Generation from Complex Specifications Using LLM Agent Systems
Zhongzhi Yu
,
Mingjie Liu
, Michael Zimmer, Yingyan (Celine) Lin, Yong Liu,
Haoxing (Mark) Ren
GEM: GPU-Accelerated Emulator-Inspired RTL Simulation
Zizheng Guo,
Yanqing Zhang
,
Haoxing (Mark) 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
,
Haoxing (Mark) Ren
,
Brucek Khailany
