proteus7.5中没c8051单片机吗

proteus7.5中没有c8051单片机吗？
如题，proteus的元件库里没有c8051系列的单片机吗？如果没有c8051的单片机怎么办？新手求指导。
------解决方案--------------------
借用Ateml系列8051型号仿真。