Correct synthesis and integration of compiler-generated function units. - Martin Andrew Ellis (2008)