Lightning Talks
summary
Open source header that layers on the C++ event system for hardware verification and provides a concrete callback API: you post typed events, register filter functions as predicates, and get handler functions invoked automatically. It adds event histories so you can attach past activity, treats clocks as events to advance stages, supports delayed handlers across cycles, and exposes an API to clear posted callbacks. The implementation targets verification flows and claims to simplify sequencing and temporal checks without changing the simulator.
AI-written summary · about
chapters (10)
- 0:00Event framework for hardware verification
- 2:37Schulich club’s first year
- 4:22Analog simulation with SPICE
- 7:03Lightweight cryptography project
- 9:31Magic VLSI improvements
- 12:10Cache size vs RISC-V performance
- 14:06Verification coverage with open source tools
- 16:09SystemVerilog deassign keyword
- 17:59LEDs and RISC-V on FPGA
- 20:08Rivet for physical design flow
related talks
23mLightning Talks
01h 32mKeynote: Employing Senders & Receivers to Tame Concurrency in C++ Embedded Systems
17mMonday Lightning Talks
29mIntroducing the Zephyr Input Subsystem
04mLightning Talk - Native Code from Elixir
37mLightning Talks
20mFour Years of Embedded Haskell in Critical Real-Time Systems: Lessons and Insights
01h 31mBetter embedded library interfaces with modern C++