Title: Synthesis of programmable logic arrays