NovelRewrite: node-level parallel AIG rewriting.

Shiju Lin Jinwei Liu Tianji Liu Martin D. F. Wong Evangeline F. Y. Young

Published in: DAC (2022)

Keyphrases

levels of abstraction
conjunctive queries
parallel implementation
real time
data model
directed graph
shared memory
distributed memory