No tool is without constraints. The library for Proteus 8.13 does not simulate every advanced feature. For instance:
Strengths
If your extracted files do not match the source checksum, —the archive may be corrupted. arduino uno library for proteus 813 verified