Wire retiming as fixpoint computation.

Chuan Lin Hai Zhou

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2005)

Keyphrases

fixpoint
logic programs
deductive databases
stable models
finite state machines
logic programming
sql queries
horn clauses
update rule
nonmonotonic reasoning
datalog programs
fixpoint semantics
high level
recursive queries
decision procedures
fixed point
query processing
relational databases