Publications

• Jie-Hong Roland Jiang, Tiziano Villa. Hardware Equivalence and Property Verification. Invited chapter for “Boolean Methods and Models in Mathematics, Computer Science and Engineering”, pp. 599-674. Yves Crama and Peter L. Hammer (eds.) Encyclopedia of Mathematics and its Applications 134, Cambridge University Press, 2010. Download PDF.
• Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli. Synthesis of Multi-Level Boolean Networks. Invited chapter for “Boolean Methods and Models in Mathematics, Computer Science and Engineering”, Yves Crama and Peter L. Hammer (eds.), pp. 675-722, Encyclopedia of Mathematics and its Applications 134, Cambridge University Press, 2010. Download PDF.