"Tackling formal assumptions through verification planning" is a recent article by Chris Komar and Frank Armbruster that is available on EDN. This article has fun with the old adage about what happens when you assume but very quickly get serious and applies it to functional verification and specifically formal property checking. It talks about potential problems of assumption escape and walks thought how this can be avoided by incorporating check into an automated verification plan. You can get the full scoop here - read article.
Sarah Lynne Cooper Lundell