Path: utzoo!mnetor!uunet!husc6!mailrus!ames!pasteur!ucbvax!MCC.COM!AI.PETRIE
From: AI.PETRIE@MCC.COM (Charles Petrie)
Newsgroups: comp.ai.digest
Subject: Reply to Gabriel - VLSI Testibility Checking
Message-ID: <12382580354.10.AI.PETRIE@MCC.COM>
Date: 15 Mar 88 19:05:24 GMT
Sender: usenet@ucbvax.BERKELEY.EDU
Organization: The Internet
Lines: 12
Approved: ailist@kl.sri.com

The MCC CAD program has a knowledge-based testibility checker -
  contact Thomas@MCC.com

The NCR Design Advisor includes testibility checking -
  contact AI.Steele@MCC.com
also see Robin Steele's article in the proceedings of the 24th
Design Automation Conference (ACM/IEEE)

Both are commercial applications.  NCR charges a minimum of $4,000
for users to come in and run their designs through the Design Advisor
and interact with it.
-------