Pessimism reduction in coupling-aware static timing analysis using timing and logic filtering.
Debasish DasKip KillpackChandramouli V. KashyapAbhijit JasHai ZhouPublished in: ASP-DAC (2008)
Keyphrases
- asynchronous circuits
- modal logic
- adaptive filtering
- automated reasoning
- multi valued
- computational properties
- filtering algorithm
- machine learning
- classical logic
- logical framework
- predicate logic
- filtering process
- temporal logic
- logic programming
- deontic logic
- data sets
- logic synthesis
- dynamic analysis
- defeasible logic
- reduction method
- filtering method
- rough sets
- multiscale
- learning algorithm