Srini Devadas: Time Traveling Hardware and Software Systems

About this video

Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Srini Devadas explains time-traveling hardware and software systems and verification techniques. A lecture teaching temporal reasoning in computing systems and design methods.

A 56-minute video from UC Berkeley EECS: “Srini Devadas: Time Traveling Hardware and Software Systems”.

Programming & CS Engineering

Video by UC Berkeley EECS, played through YouTube's embedded player.