1 citations · 1 across the 3 of their papers we have counts for
4 papers
pper and Lower Bounds for Blow-up Times in Coupled Reaction--Diffusion Systems with Nonlocal Sources
Xin Zhao, Aynuer Ailatusi, Xianfa Song +1
In this paper, we consider the following reaction-diffusion system \begin{equation*} \begin{cases} u_t=Δu+F\bigl(x,t,u,v,V(t)\bigr), & (x,t)\in\Om\times(0,T), v_t=Δv+G\bigl(x,t,u,v…
DynamicRTL: RTL Representation Learning for Dynamic Circuit Behavior
Ruiyang Ma, Yunhao Zhou, Yipeng Wang +9
There is a growing body of work on using Graph Neural Networks (GNNs) to learn representations of circuits, focusing primarily on their static characteristics. However, these model…
Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation
Ruiyang Ma, Daikang Kuang, Ziqian Liu +3
Debugging hardware designs requires significant manual effort during hardware development. After engineers identify a bug-triggering test case in simulation-based hardware verifica…
Bridging the Gap between Hardware Fuzzing and Industrial Verification
Ruiyang Ma, Tianhao Wei, Jiaxi Zhang +3
As hardware design complexity increases, hardware fuzzing emerges as a promising tool for automating the verification process. However, a significant gap still exists before it can…