@article {IOPORT.50353371,
    author       = {Wolf, Wayne},
    title        = {Redundancy removal during high-level synthesis using scheduling don't-cares},
    year         = {1997},
    journal      = {J. Electronic Testing},
    volume       = {11},
    number       = {3},
    pages        = {211-225},
    doi          = {10.1023/A:1008214405542},
    identifier   = {50353371},
}