Skip to content
View aHappend's full-sized avatar

Highlights

  • Pro

Organizations

@Argus-AiTeam

Block or report aHappend

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
aHappend/README.md

Hi, I'm Sufeng Guo

Undergraduate at Nanjing University (VLSI Design & System Integration), graduating in 2027.

I work on AI accelerator architecture, RISC-V systems, and hardware-software co-design — connecting workload mapping and communication-aware scheduling with RTL implementation and reproducible verification.

Personal website · Vulcan portfolio · Public RTL Showcase

Education & Experience

  • Nanjing University — VLSI Design & System Integration
  • Campus locations: Nanjing (Year 1); Suzhou (Years 2–4)
  • Expected graduation: 2027
Period Experience
Sep–Dec 2026 Microsoft Research Asia (MSRA) — Research Intern, Systems Research Group, Beijing. Group website ↗
Jan–May 2027 Nanyang Technological University (NTU), Singapore — Selected for an upcoming government-sponsored undergraduate exchange. Program website ↗

Research & Engineering

Methods: DNN mapping, inter-layer scheduling, NoC and memory-system data movement. I contribute to HyperCut and maintain a Crane reproduction lab.

Argus — team contributions

With Argus AI Team, I contribute to Argus / Microsoft · original project, a persistent multi-agent runtime, its chip-design vertical, interfaces and evidence-driven evaluation.

Vulcan — independent project

Vulcan is my independent AI-native hardware engineering project, not part of Argus AI Team. It connects scoped RTL implementation, verification, independent review and reproducible delivery across eight hardware families, with SABLE and ten component IPs as supplementary projects. Functional simulation, static timing and design-specific board execution are reported separately.

Accelerators and RISC-V systems

Family Focus and public evidence
ACE-2 / ACE-3 MP W4A8 persistent RTL dialogue and native AWQ W4A16 research. ACE-2 has accepted two-turn, four-token-per-turn simulation with 24 retained K/V layers and zero mismatches. ACE-3 has verified G128 projection and bounded FP16-boundary blocks; full-regression, full-model and hardware acceptance remain open.
ANVIL — Q / E Embeddings and quantized inference. Original E1–E3/Q1 retain bounded workload HIL; Q1 executes Q16.16 after binary16 storage conversion. QN1/EN1 now integrate native-model tops with numerical/smoke or contract checks, not end-to-end model acceptance. D1 has functional/STA records; D2 has initial numerical receipts.
HAMMER-V Five-stage RV64IM/RV64IMA research through privilege, caches and Sv39. V4 reaches Linux 6.6.1 minimal user-space /init in Verilator RTL simulation; V5 integrates core/SoC/top with scoped behavioral/synthesis checks. The V4 run ends in a PID 1 exit panic, not an interactive shell or FPGA Linux boot.

ACE organization mirrors: ACE-2 · ACE-3.

Reusable RTL and integration families

Generations stay within their families rather than being counted as fabricated chips:

Family Product lines
RIVET A — AES/GCM · H — hashing and NTT/ML-DSA; H4/H5 publish RTL, tests and reports, without raw public STA/board receipts.
BILLET T — FFT/IFFT · F — filtering and audio; F5 adds eight-microphone beamforming/NLMS RTL, without measured acoustic hardware-performance claims.
SWAGE-S Imaging through bounded programmable detection; S4/S5 publish functional and positive 100 MHz post-fit timing records, not pretrained-model accuracy or board image-workload acceptance.
BELLOWS — L / N Codec and networking RTL through L5/N5, including bounded Zstandard and custom MoE dispatch. L4 has positive STA; L5 synthesis timed out and N4/N5 retain hold violations.
CRUCIBLE-G Rasterization through bounded LBVH/ray queries and SVGF; G4/G5 have functional and positive 100 MHz STA records, not hardware-rendered FPS measurements.
FURNACE-X Heterogeneous integration through X4, including CPU/MMIO behavioral checks. Shared telemetry is not per-SoC board or Linux acceptance. The old networking line moved to BELLOWS-N and is not counted twice.

Evidence snapshot: November 3, 2026, 22:52 UTC+8. Q4, N4/N5 and X3 retain negative hold slack despite passed labels. Shared SoftReg vector/telemetry records do not bind every named design to its own bitstream or CPU boot trace. See the portfolio's source and evidence notes and the pinned V4 Linux log; publication is not blanket hardware signoff.

SABLE explores four-stream reliable message transport. Vulcan Showcase indexes public engineering packages and ten reusable SystemVerilog IPs, not a count of physically verified chips.

Hardware foundations

64-Point FFT: folded streaming SDF, Q1.15, XSim/Python co-verification and routed Virtex-7 results. Two-Stage CMOS Op-Amp: TSMC 0.18 μm Miller compensation with Spectre AC/DC/transient verification.

Publications

External Links

Tools

Python C / basic C++ TypeScript SystemVerilog Verilog React Linux

Contact

Popular repositories Loading

  1. ace-2 ace-2 Public

    evidence-first Qwen2.5-0.5B W4A8 accelerator: certified two-token RTL integration, SKY130 100 MHz, and Fresh-L2-accepted V8 host-trust recovery.

    SystemVerilog 1 1

  2. 64-point-fft-hardware 64-point-fft-hardware Public

    Resource-efficient 64-point radix-2 DIT FFT in SystemVerilog: folded streaming SDF RTL, Q1.15 fixed-point arithmetic, Vivado/XSim simulation, Python/NumPy co-verification, and Virtex-7 implementati…

    C

  3. SET-NN-Mapping-Scheduling SET-NN-Mapping-Scheduling Public

    Exploring the impact of neural network task granularity on mapping and scheduling efficiency on multi-core NoC architectures based on the SET framework.

  4. Crane Crane Public

    Independent Python reproduction of Crane (MICRO 2025): real network DAGs, checked ScT/MeT scheduling, native SET core profiles, reproducible experiments and an offline interactive demo.

    Python

  5. two-stage-cmos-op-amp two-stage-cmos-op-amp Public

    Two-stage CMOS operational amplifier designed in TSMC 0.18 um technology, with Spectre AC/DC/transient verification, Miller compensation, and analysis of gain, bandwidth, phase margin, slew rate, o…

    TeX

  6. aHappend aHappend Public

    Sufeng Guo - personal profile