Средства и методы разработки

"The digital models can be behavioural models, but can also be as detailed as the Verilog code of a microcontroller. The digital elements are not run in an interpreter but run as native object code on the Intel processor to avoid impacting on the Spice simulation, says Englehardt.

The models can also be encrypted by the developers and run on the simulator, allowing a wider ecosystem of IP to be used securely."

https://www.eenewseurope.com/en/re-writing-spice-for-a-digital-world/