Fearless Hardware Design - A Type System for Modular and Parameterized Designs
ACM SIGPLAN via YouTube
Learn EDR Internals: Research & Development From The Masters
The Private Equity Associate Certification
Overview
Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Explore a groundbreaking approach to modular hardware design in this 14-minute conference talk from ACM SIGPLAN. Delve into Rachit Nigam's research from Cornell University, which addresses the challenges of hardware design's physical constraints and monolithic integration. Learn about a novel type system that enables fine-grained reasoning about hardware modules' timing behavior at compile-time. Discover how this system can be extended to handle parameterized hardware designs and the significant benefits it offers. The talk covers key topics including introduction, restoring division, filament, parameterization, timing behavior analysis, and concludes with important insights for fearless hardware design.
Syllabus
Introduction
Restoring Division
Filament
Parametrize
Timing Behavior
Conclusion
Taught by
ACM SIGPLAN