Fearless Hardware Design - A Type System for Modular and Parameterized Designs

Fearless Hardware Design - A Type System for Modular and Parameterized Designs

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.