Acknowledgments

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