Hacker News new | ask | show | jobs
by nomel 372 days ago
> 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.