FMCAD'98: BDD Study Results

Phase 1 Results

• Round 1
  Memory Limit: 1 Gb
  Time Limit: 16 CPU hours.
• Round 2
  Memory Limit: 900Mb
  Time Limit: 8 hours elapsed-time for phone*, futurebus, tcas, and tomasulo. 1 hour elapsed-time for the rest.
• Round 2 Memory Limited     (By packages: ABCD | CAL | CUDD | PBF | TiGeR)
  Memory Limit: Varies...
  Time Limit: 24 hours elapsed-time for phone*, futurebus, tcas, and tomasulo. 1 hour elapsed-time for the rest.
• Round 3
  Memory Limit: 900Mb
  Time Limit: 8 hours elapsed-time for phone*, futurebus, tcas, and tomasulo. 1 hour elapsed-time for the rest.
• Round 3 Memory Limited     (By packages: ABCD | CAL | CUDD | PBF)
  Memory Limit: Varies...
  Time Limit: 24 hours elapsed-time for phone-sync-CW, futurebus, tcas, and tomasulo. 12 hours for phone-async. 1 hour elapsed-time for the rest.

Phase 2 Results

• Round 1
  • unconstrained default variable reordering
  • default variable reordering once only after transition relations are built
  Memory Limit: 900Mb
  Time Limit: 8 hours elapsed-time for phone*, futurebus, tcas, and tomasulo. 1 hour elapsed-time for the rest.