SAN FRANCISCO, CA—The MathWorks chose the Design Automation Conference (www.dac.com) held here this week to highlight its support for high-level model-based design ... to verify RTL-level models from ...