\input zb-basic \input zb-ioport \iteman{io-port 05431823} \itemau{Muthukumar, Venkatesan; Bignall, Robert J.; Selvaraj, Henry} \itemti{An efficient variable partitioning approach for functional decomposition of circuits.} \itemso{J. Syst. Archit. 53, No. 1, 53-67 (2007).} \itemcc{} \itemut{} \itemli{doi:10.1016/j.sysarc.2006.07.001} \end