The prevailing wisdom coming out of the Design Automation Conference and other recent conferences is that to make system-level design a reality, tools must first address system verification. Well, ...