7 papers
Homological Mirror Symmetry for Affine Log Calabi-Yau Surfaces
Umut Varolgunes
Let be a smooth complex affine log Calabi--Yau surface, and let be its complete finite-type Liouville manifold, equipped with its natural grading structure. We gi…
Bridging AQFP Technology Legalization and Physical Design: Layout-Aware Buffer and Splitter Insertion via Width--Depth Product Minimization
Robert S. Aviles, Ziyu Liu, Madhav Danturthi +1
Adiabatic Quantum Flux Parametron (AQFP) is an emerging superconducting technology that enables ultra-low energy dissipation approaching the Shannon limit. However, its gate-level…
Branch Landing: Bloom Filter-Based Source Authorization for Forward-Edge CFI on RISC-V
You Wu, Peter Beerel
Jump-Oriented Programming (JOP) attacks exploit indirect control transfers to bypass backward-edge defenses, yet existing forward-edge CFI mechanisms lack precise source-domain aut…
qPRO-AQFP: Post-Routing Optimization of AQFP Circuits with Delay Line Clocking
Robert S. Aviles, Ziyu Liu, Jingkai Hong +3
Adiabatic Quantum-Flux-Parametron (AQFP) logic is an ultra-low-power superconducting logic family with energy consumption approaching the Shannon limit, making it attractive for qu…
Generalizable Verilog Modeling Framework for Synchronous and Asynchronous Superconducting Pulse-Based Logic Gates
Elisabeth Feng, Robert S. Aviles, Peter A. Beerel
Superconducting Single Flux Quantum (SFQ) logic offers a promising platform for ultra-low-power, high-frequency computing. However, their pulse-based nature poses challenges for sc…
Optimizing Phase-Scheduling with Throughput Trade-offs in AQFP Digital Circuits
Robert S. Aviles, Peter A. Beerel
Adiabatic Quantum-Flux-Parametron (AQFP) logic is a promising emerging superconducting technology for ultra-low power digital circuits, offering orders of magnitude lower power con…