109 citations
- Tsinghua UniversityCN12 papers
- Princeton UniversityUS11 papers
- Netherlands Institute for Radio AstronomyNL5 papers
- Ruhr University BochumDE5 papers
- University of AmsterdamNL5 papers
- University of GroningenNL5 papers
- University of OxfordGB5 papers
- Astronomy and SpaceAU4 papers
- Astro Space CenterRU4 papers
- Commonwealth Scientific and Industrial Research OrganisationAU4 papers
- National Institutes of HealthUS4 papers
- The University of SydneyAU4 papers
Showing 2026Show all
2 papers · 1 filter
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…