3 papers
cs.AR2026
ChatSVA: Bridging SVA Generation for Hardware Verification via Task-Specific LLMs
Lik Tung Fu, Jie Zhou, Shaokai Ren +6
Functional verification consumes over 50% of the IC development lifecycle, where SystemVerilog Assertions (SVAs) are indispensable for formal property verification and enhanced sim…
cond-mat.dis-nn2026
Exact Mobility Edges in a Disorder-Free Dimerized Stark Lattice with Effective Unbounded Hopping
Yunyao Qi, Heng Lin, Quanfeng Lu +2
We propose a disorder-free one-dimensional single-particle Hamiltonian hosting an exact mobility edge (ME), placing the system outside the assumptions of no-go theorems regarding u…
cs.HC2026
OpenCourier: an Open Protocol for Building a Decentralized Ecosystem of Community-owned Delivery Platforms
Yuhan Liu, Varun Nagaraj Rao, Sohyeon Hwang +2
In this vision paper, we outline a blueprint for a decentralized network for the delivery industry, powered by an open protocol. By presenting the network's key components and laye…