write some comments on IF.v
Merge pull request #2 from kevinzhang334455/yanan

write some comments on IF.v