( ESNUG 445 Item 2 ) -------------------------------------------- [05/24/05]

From: Dan Joyce <dan.joyce=user company=compaq spot gone>
Subject: After Seeing Online Demo, User Now Curious about TransEDA VN-Cover

Hi, John,

I just saw the DeepChip online demo for TransEDA's VN-Cover tool.

Merging the formal task of determining if a line is coverable with a
coverage tool is the next logical step in Coverage technology.  We spend a
significant amount of time at the coverage analysis step determining whether
or not uncovered lines or conditions are possible to cover.  This takes time
and also can be error prone.

I would like to evaluate this VN-Cover tool to see if it does what they say.

    - Dan Joyce
      Compaq                                     Austin, TX