jimmysitu's Following
- YosysHQ
- xiangli3
- ksteuck
- jafarsarif10Intel
- riscv-verification
- wyattschwanbeck
- runtimeverificationChampaign, IL
- ManticoreRTL
- siliconcompiler
- dian-lun-linIntel Labs
- DIJamner
- palexandITTC - The University of Kansas
- joonwoncApple
- mit-plvMIT CSAIL, Building 32–G8
- rocq-archive
- zotero
- snbk001
- tomverbeureSunnyvale, CA
- jerralphbigco
- HardSecurity
- fabianschuikiSiFive
- NVlabs
- djvellemanAnnapolis, MD, USA
- True-genghao
- clarusFormal Land
- shift-left-test
- appleCupertino, CA
- Lean-zh
- ekiwiCornell University
- MPSLab-ASUTempe
- bradyneal@mila-udem
- karpathyStanford
- py-why
- chipsalliance
- axiomed
- gl-inet