Вот только при моделировании цифровых схем в
Proteus не ставят аналоговых моделей резисторов.
Это заставляет
Proteus включать
PSpice, который в этих случаях совсем не нужен.
Ставят либо цифровые "притягивающие" резисторы:
Либо в старших версиях
Proteus указывают, что резистор моделируется как цифровой. (не проверял)
Об этом, собственно, в хелпах
Proteus подробно написано.
Ну и знаменитый переводчик хелпов
Proteus на русский это тоже расписал:
https://kazus.ru/forums/showthread.php?t=13198