SPICE is a general-purpose, open-source analog electronic circuit simulator. It stands for Simulation Program with Integrated Circuit Emphasis. ngspice is a successor, and is easily installable on Linux. It’s the simulator I’ve used to explore the Skywater 130 PDK.

Here’s an example spice simulation file that I used to simulate the inverter I drew.

And here’s a nice demo of me showing how a flip-flop works by simulating a Sky130 D type flip flop with SPICE.

Course feedback

Having the formal verification part additionally felt nice, that I could have something that I know is going to be functional instead of just guessing for a long time and then looking at waveforms and then not knowing what hell I'm doing!

Dylan Wadler (digital course)