Retiming with logic duplication transformation: theory and an application to partial scan.

Arun Balakrishnan Srimat T. Chakradhar

Published in: VLSI Design (1996)

Keyphrases

formal theory
logic programming
probability theory
commonsense reasoning
asynchronous circuits
artificial intelligence
logical framework
set theory
databases
theoretical framework
multi valued
boolean algebra
computer algebra
deductive reasoning
difference equations
formal logic