Title: Temporal abstraction of digital designs