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

 

Is this the sort of thing that you are after?
https://www.sciencedirect.com/science/article/pii/B9781558607026500272
"The Extended Partitioning Problem: Hardware/Software Mapping, Scheduling, and Implementation-bin Selection"
ASAWAREE KALAVADE, EDWARD A. LEE, in Readings in Hardware/Software Co-Design, 2002