https://123dok.com/document/q5r3epjz-logic-synthesis-using-synopsis-pran-kurup-taher-abbasi.html