[go: up one dir, main page]

Forem

# verification

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Bridging Digital and Photonic Verification
Cover image for Bridging Digital and Photonic Verification
wiowiztech profile

Bridging Digital and Photonic Verification

#verification #siliconphotonics #eventdriven #hardwaredesign
1
Comments
2 min read
VHE: Why Gate-Level Simulation Breaks at Scale (and What We Tried Instead)
wiowiztech profile

VHE: Why Gate-Level Simulation Breaks at Scale (and What We Tried Instead)

#verification #hardware #vlsi #gpu
Comments
2 min read
Why Coverage Signoff Still Fails (Even with Better Tools)
wiowiztech profile

Why Coverage Signoff Still Fails (Even with Better Tools)

#verification #vlsi #hardware #eventdriven
Comments
2 min read
EQWAVE: Timestamps lie. Behavior doesn't
wiowiztech profile

EQWAVE: Timestamps lie. Behavior doesn't

#verification #rtl #eventdriven #hardware
Comments
1 min read
From VAI to Mini-GPT: Verified Transformer Execution on Custom NPU Hardware
Cover image for From VAI to Mini-GPT: Verified Transformer Execution on Custom NPU Hardware
wiowiztech profile

From VAI to Mini-GPT: Verified Transformer Execution on Custom NPU Hardware

#ai #hardware #npu #verification
Comments
2 min read
Code Verification Over Confidence
Cover image for Code Verification Over Confidence
chudi_nnorukam profile

Code Verification Over Confidence

#claudecode #ai #codequality #verification
Comments
6 min read
A Formal Verification of the XRP Ledger
vtumas profile

A Formal Verification of the XRP Ledger

#xrpledger #verification #safety
1
Comments
6 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.