> hardware verification Could you give any rough details? I'm in this world, and have only experienced rigid/deterministic bounds for hardware, ideally based o

> hardware verification Could you give any rough details? I'm in this world, and have only experienced rigid/deterministic bounds for hardware, ideally based on "guaranteed by design" based models. The need for determinism has always prevented AI from being a part of it.