A Comparison of Free BDDs and Transformed BDDs Detlef SielingIngo Wegener OriginalPaper Pages: 223 - 236
Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis Naren NarasimhanElena TeicaRanga Vemuri OriginalPaper Pages: 237 - 273
Relaxed Visibility Enhances Partial Order Reduction Doron PeledAntti ValmariIlkka Kokkarinen OriginalPaper Pages: 275 - 289