Session: Session 2: Approximate synthesis and fault equivalence identification

Moderator: Jie-Hong Roland Jiang
Session page: https://iwls20.cade.utah.edu/session-2-internal/