Logic Monolithic 3D ICs: PPA Benefits and EDA Tools Necessary.

Sai Surya Kiran Pentapati Da Eun Shim Sung Kyu Lim

Published in: ACM Great Lakes Symposium on VLSI (2019)

Keyphrases

modal logic
data sets
multi objective
logic programs
logic programming
user friendly
proof theory