Besides a front-end, the chief contribution to the above was a reverse engineered MATLAB grammar and lexical specification that now forms the language-backbone of a suite of commercial EDA tools from AccelChip, Inc.

MAGICA is an extensible inference engine that can determine the types (value range, intrinsic type and array shape) of expressions in a MATLAB program. Written as a Mathematica application, it is designed as an add-on module that any MATLAB compiler infrastructure can use to obtain high-quality type inferences (i.e., symbolic type inferences specialized whenever possible). MAGICA is currently available for public download from The MAGICA Home Page at http://www.ece.northwestern.edu/cpdc/pjoisha/MAGICA.

MAT2C is a source-to-source compiler that converts MATLAB programs, in the native M-file form, into optimized C code. The compiler is briefly described on The MAT2C Home Page at http://www.ece.northwestern.edu/cpdc/pjoisha/MAT2C.