276 search results - page 56 / 56 » From Model-Checking to Temporal Logic Constraint Solving |
ICCAD
1997
IEEE
13 years 9 months ago
1997
IEEE
Technology-independenttimingoptimizationis animportantproblem in logic synthesis. Although many promising techniques have been proposed in the past, unfortunately they are quite s...