FuncGNN: Learning Functional Semantics of Logic Circuits with Graph Neural Networks

Qiyun Zhao

As integrated circuit scale grows and design complexity rises, effective circuit representation helps support logic synthesis, formal verification, and other automated processes in…