Modelagem de processador em alto nível (http://www.ic.unicamp.br/~rodolfo/mc723/)