# python & eda

Post on 14-Aug-2015

90 views

Category:

## Software

Embed Size (px)

TRANSCRIPT

1. 1. dokelung (Ko-Lung Yuan)
2. 2. About Me https://github.com/dokelung/ dokelung@gmail.com http://dokelung-blog.logdown.com/
3. 3.
4. 4. EDA script-king msat minickt Agenda
5. 5. ...
6. 6. IC Design Flow
7. 7. In EDA World
8. 8. ... C / C++ / Java
9. 9. ... ...
10. 10. Python Python
11. 11. script
12. 12. Script King https://github.com/dokelung/script-king
13. 13. solver msat
14. 14. https://github.com/dokelung/msat msat
15. 15. Multiset Constraint Solving { 1, 3, 3, 1 } { 2, 3, 3 } Subset-Sum Problem { 1, 2, 3, 4, 5 } { 6 }= >= Element set Target setRelation What Is this?
16. 16. subset-sum problem k-partition problem bin-packing problem knapsack problem pseudo Boolean constraint symmetry encoding What?
17. 17. { 1, 2, 3, 4, 5 } k = 3 { 1, 4 } { 2, 3 } { 5 } Let E = { 1, 2, 3, 4, 5 } Let T = { 5, 5, 5 } Relation = k-partition Problem
18. 18. { 2, 2, 3, 4 } bin size = 5 { 2 } { 2, 3 } { 4 } Let E = { 2, 2, 3, 4 } with all use rule Try T = { 5 }, { 5, 5 }, { 5, 5, 5 } Relation = 2 x = 1, y = 1, z =0 Let E1 = { 3, 5, -2 } T1 = { 5 } Relation >= Let E2 = { 6, 2, 2 } T2 = { 2 } Relation >= PBC
19. 21. How to Solve Let E = { 1, 1, 3, 3 } Try T = { 2, 3, 3 } Relation >= !2 !1 0 1 2 3 0 True True True False False False 1 True True True True False False 1 True True True True True False 3 True True True True True True 3 True True True True True True
20. 22. minickt https://github.com/dokelung/minickt AND OR XOR a b c d e f out
21. 23. dokelung
22. 24. 6/9()
23. 25. &

Recommended