Dan Gisselquist
where else to find them
what they talk about
where they keep going back
- ORConf2 editions2018–2019
on a stage with
never shared a talk
who talks about the same things
- Pepijn de Vos2 talks
- Karol Gugala12 talks
- Tomasz Hemperek2 talks
- Matt P. Dziubinski5 talks
- Ben Dooks12 talks
- Kelly Choi5 talks
| title | conference | date |
|---|---|---|
| Formally Verifying AXI Interfaces | ORConf 2019 | 2019-09-27 |
A compact property set for AXI and AXI-lite is implemented and run with SymbiYosys against many open-source and vendor demo cores, revealing concrete failures… | ||
| Lessons learned while formally verifying the ZipCPU | ORConf 2018 | 2018-09-21 |
ZipCPU gets fully proven with SymbiYosys using induction and bounded checks, finding bugs tests never caught: bus reads that don’t halt, compressed-instruction… | ||
| nothing matches | ||