Integrating logic retiming and register placement.

Tzu-Chieh Tien Hsiao-Pin Su Yu-Wen Tsay Yih-Chih Chou Youn-Long Lin

Published in: ICCAD (1998)

Keyphrases

classical logic
logic programming
proof theory
modal logic
information retrieval
sound and complete axiomatization
real time
real world
genetic algorithm
information systems
three dimensional
relational databases
automated reasoning
computational properties
intuitionistic logic