LSI Yervant Zorian Logicvision Minutes Yervant introduced the goals and objectives of P1500 and presented the agenda. Mike Ricchetti presented the update on CTAG task force work.
Intent is to capture internal responses.
More details need to be worked out. Rohit Kapur presented an update on CTL with an emphasis on how to write a CTL for a core. One should be able to do that with minimum effort. It is a limitation now. Yes, we are manually testing CTL on real designs.