~/talk

How cocotb made Python-powered verification mainstream -- and what comes next

Talkat ORConf 2023 · 2023-09-15..09-17· [testing, python]
links:none on file
slides:none on file

cocotb now ships 250 prebuilt wheels (simulator × Python × platform) so users no longer compile C++ at install time, and CI runs publicly against Questa, Riviera‑Pro and Xcelium to catch regressions. Ongoing work includes deprecations and breaking changes—most notably the .value return type change (BinaryValue → logical type) and tightened fork/ coroutine semantics—plus a Python test‑runner to replace fragile Makefile flows. Mixed‑simulator or mixed‑language emulation remains unresolved; expect concrete migration steps and API churn.

AI-written summary · about

  1. 0:00cocotb’s journey
  2. 1:02What is cocotb
  3. 4:32Industry adoption
  4. 6:39Python and cocotb match
  5. 7:42Open-source challenges
  6. 9:08Installing cocotb
  7. 10:55Automated simulator testing
  8. 12:39Cleaning cocotb APIs
  9. 14:25Future updates
  10. 16:36Beyond Makefiles
  11. 17:41Community opportunities
  12. 18:45Q&A
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.