A Library-Based Approach for Writing Design Assertions.

Yoonsik Cheon, Ricardo Lozano, Rajasoundarya Senthil Prabhu

Browse the full SERA paper archive.