A complete compositional reasoning framework for the efficient verification of pipelined machines.

Panagiotis Manolios Sudarshan K. Srinivasan

Published in: ICCAD (2005)

Keyphrases

lightweight
knowledge representation
main contribution
logical framework
image sequences
multi agent
reasoning mechanisms
data mining
machine learning
search engine
database systems
scheduling problem
fuzzy logic
computational model
computationally expensive
pruning strategy