1Wang Zhihai,Ma Guangsheng,Zhang Diancheng.A Multiple Valued Cover-most Algorithm Based on the Extended Allen-Givone Algebra System.In Proc.of 22nd International Conference on IEEE/Industrial Electronics,Control and lnstrumentation,1996,3:1429-1433.
2Engel J J.Design Methodology for IBM ASIC Products.IBM J.Res.Develop., 1996,40(4):387-406.
3Lam W K C,Braylon R K.Timed Boolean Functions.Boston:Kluwer Academic Publisher,USA, 1994.
