SHENZEN I/O: https://store.steampowered.com/app/504210/SHENZHEN_IO/

In school, I worked on an introductory CS/EE class many, many moons ago, and I believed we used something like "logisim", which by then was pretty awesome - you could build simple things like adders, combine those with "macros" to bui;d ALUs and then whole simple CPUs.

Since then, the logisim project has discontinued, but it looks like there is a open source successor:

https://github.com/logisim-evolution/logisim-evolution

Have not tried it, but it looks promising, provided you don't want to do too complicated things (not sure if you could really model complex CPUs like a pentium with it). Also, it's pretty digital only, so I wouldn't expect Mac-Spice-like analog circuit simulation.

Unless the developer opted out, it should work on an ARM Mac. Not saying it is an excuse not to release an OSX version of course.