Jiang, J.H.J.H.JiangDevadas, S.S.DevadasJIE-HONG JIANG2020-06-112020-06-112009https://scholars.lib.ntu.edu.tw/handle/123456789/497778Logic Synthesis in a Nutshellbook part10.1016/B978-0-12-374364-0.50013-82-s2.0-84882815173https://www.scopus.com/inward/record.uri?eid=2-s2.0-84882815173&doi=10.1016%2fB978-0-12-374364-0.50013-8&partnerID=40&md5=4c4ad3308eac56e55d1b751d270bf8fd