Heavily used in hardware design and verification. Equivalence checking, logic sy... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

oldgradstudent on May 19, 2019 | parent | context | favorite | on: Modern SAT solvers: fast, neat and underused

Heavily used in hardware design and verification.

Equivalence checking, logic synthesis and optimisation, formal verification, etc.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact