Ifip Wg 10.2

• Formal VLSI correctness verification
• Formal VLSI specification and synthesis