I have been trying to collate my notes on CMOS transistors, circuitry, basic electrical engineering --- all suitable for hardware verification using a #ProofAssistant

The goal is to provide a guided set of exercises for a "pure-ish" mathematician who wants to understand the basic moving parts of a computer, specifically for floating-point calculations and numerical linear algebra.

I have discovered, much to my surprise and chagrin, that a lot of electrical engineering textbooks lack good exercises!

Truthfully, I am only happy with a half dozen exercises or so (but I have a jaundiced view of my own writing, it's never good...it's only ever "adequate").

I wonder how people in #EE come up with good exercises, since most textbooks have exercises of the form, "Here's a convoluted circuit diagram you'll never see in real life anywhere, ever. Analyze it."

#CircuitDiagram #exercise #engineer