Facilitating timing debug by logic path correspondence.
Oshri AdlerEli ArbelIlia AverbouchIlan BeerInna GrijnevitchPublished in: DATE (2014)
Keyphrases
- asynchronous circuits
- logic programming
- shortest path
- modal logic
- predicate logic
- point correspondences
- logical framework
- classical logic
- formal theory
- correspondence matching
- automated reasoning
- probabilistic logic
- computational properties
- sound and complete axiomatization
- knowledge base
- optimal path
- description logics
- case study