ILP and SAT solvers in system verification

Thread Starter


Joined Jun 10, 2021
Hello all,

I'm new here, and I don't know how this actually works but here is my question: I'm a student currently studying my masters degree in Embedded Systems. I'm required to give a presentation on Integer Linear Programming for System Verification applications. In which, I should explain the concept of Linear Integer Programming, compare it with SAT solvers, and give and example on a digital circuit. The issue is I was searching for two days straight and I couldn't find any resources to accomplish my goals. If anybody can direct me to resources (related to digital system verification), I would be grateful!

Thanks in advance