|
The minutes of the
May 8 meeting of the IEEE 1647 working group have been posted on the web site. We need to offer Serrie Chapman a big THANK YOU for compiling this near-verbatim transcript. Thank you Serrie! -- Andrew Piziali, <andy@piziali.dv.org>, +1-214-455-8577 Skype andrew_piziali "The greater promise of formal technology will be in its integration with complete coverage metrics, design coverability and specification coverage." -- Modesto Casas, "Formal Model Checking Has Not Delivered on its Promise," "EDA Confidential," May 19, 2005 |