Unlike basic schematic-only components, the enhanced library includes a functional simulation model.
If you are looking for a for Proteus—one that actually works with SPI and allows you to simulate an Arduino or PIC CAN node—you are in the right place. mcp2515 proteus library better
The open-source community has reverse-engineered the MCP2515 behavior into C++ models for Proteus. better MCP2515 library If you are looking for