Clifford Wolf
where else to find them
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Matt Vennonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Introduction to Formal Verification with Symbiotic EDA Open Source Tools | Week of Open Source Hardware 2019 | 2019-06-13 |
Overview of using Symbiotic EDA open source flow with SymbiYosys (sby), PySMT and SMT/SAT solvers (yices default, Z3, Boolector) to write asserts/assumes and… | ||
| The nextpnr FOSS FPGA place-and-route tool | ORConf 2018 | 2018-09-21 |
nextpnr is a retargetable FOSS place-and-route tool that replaces arachne-pnr for the iCE40 flow and already supports ice40 and ECP5 backends; it exposes a… | ||
| Undefined, Unspecified, Non-deterministic, and Implementation Defined Behavior | 8th RISC-V Workshop Barcelona 2018 | 2018-05-07 |
Taxonomy of specification holes compares undefined behavior, undefined values and non-determinism and shows why both undefined forms break falsifiability: a… | ||
| nothing matches | ||