Happy simulating!
If you cannot locate a functional TLP250 library, the IR2110 (available in some Proteus versions) can be adapted for low-side driving, but it lacks true optical isolation. tlp250 proteus library download
Copy the downloaded TLP250.LIB and TLP250.IDX into the LIBRARY folder. Happy simulating
Thus, downloading a verified TLP250 Proteus library is essential for anyone working on gate drive circuits. tlp250 proteus library download
Look for files like: