Graph-Based Logic Bit Slicing for Datapath-Aware Placement.

Chau-Chin Huang Bo-Qiao Lin Hsin-Ying Lee Yao-Wen Chang Kuo-Sheng Wu Jun-Zhi Yang

Published in: DAC (2017)

Keyphrases

random access memory
logical operations
logic programming
modal logic
classical logic
proof theory
graph model
real time
multi valued
neural network
probability theory
semi supervised
bit vector
automated reasoning
logical framework
digital circuits
query language
database