Synthesis of Self-Resetting Stage Logic Pipelines.

Abdelhalim Alsharqawi Abdel Ejnioui

Published in: ISVLSI (2005)

Keyphrases

logic synthesis
modal logic
classical logic
predicate logic
functional programs
database
data sets
information systems
logic programming
multi valued
program synthesis
video sequences
temporal logic
logical framework
set theory
epistemic logic