TI官网上下载Tina软件 可以进行数字电路的仿真吗？

是的，门电路器件库文件在TINA中是没有的。但是可以通过TINA中的controlled source wizard (from Sources >> Controlled Sources menu item)创建函数得到需要的model。

具体如何创建自己需要的函数可以看下TINA培训视频的how-use-controlled-source-wizard-tina-titm-simulator这一章节：

https://training.ti.com/how-use-controlled-source-wizard-tina-titm-simulator?context=1127691-958687