It looks like I'm working formal proofs today! I started out by making sure the alu's 32 bit carry was working correctly and kinda branched out from there... After lunch I think I'll work on the overflow and overflow32 ports for alu and checking the outputs of the CR pipeline. --Michael