[abecedarius]

It is close to real CMOS circuits, but idealized -- I don't remember all the idealizations (and I'm really not an expert), but e.g. it'd accept a solution that depends on a race condition working out deterministically.