Contents
Reference
The implementation of phyLS was inspired by Chu Zhufei’s logic synthesis tool ALSO.