Pessimism Reduction in Coupling-Aware Static Timing Analysis Using Timing and Logic Filtering.
Debasish DasKip KillpackChandramouli V. KashyapAbhijit JasHai ZhouPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2010)
Keyphrases
- asynchronous circuits
- logic programming
- filtering algorithm
- formal theory
- classical logic
- information systems
- query language
- abductive reasoning
- multi valued
- deductive reasoning
- artificial intelligence
- predicate logic
- digital circuits
- defeasible logic
- image filtering
- information filtering
- edge detection
- multi agent systems