For verification of hardware description language (HDL) implementations based on its MATLAB and Simulink models, Natick, Mass.-based model-based design software supplier The MathWorks today introduced ...