Wire Retiming for System-on-Chip by Fixpoint Computation.

Chuan Lin Hai Zhou

Published in: DATE (2004)

Keyphrases

fixpoint
logic programs
deductive databases
finite state machines
horn clauses
answer sets
stable models
fixpoint semantics
proof theoretic
model theoretic
decision procedures
logic programming
recursive queries
update rule
general purpose
domain knowledge
sql queries
integrity constraints