Updated C and RTL model as well as the documentation