ANDOVER, Mass.--January 24, 2011--Avery Design Systems Inc., an innovator in functional verification productivity solutions, today announced it has developed a new capability for Insight formal ...