Sat Based equivalence check using Davis Putnam for satisfiability
₹1500-12500 INR
₹1500-12500 INR
Paid on delivery
Creating CNF for logic gates using characteristics formulas and using netlist as input and checking for satisfiability
Project ID: 15723338
About the project
Remote project
Active 6 yrs ago
Looking to make some money?
Benefits of bidding on Freelancer
Set your budget and timeframe
It's free to sign up and bid on jobs