04.01.2010 – Seventh Meeting Report
In this report, the topics discussed in this meeting will be mentioned.
First of all, we explained the performance of our parallel simulation algorithm. After we tested its first version with aiger benchmarks, we received worse results than our sequential algorithm. Than, we told which optimization techniques we applied in order to make it faster than sequential one.
Secondly, we made some assumptions in our parallel code to run on some specific input files correctly, then we decided to generalize them, and make our simulation code work efficiently with every input file.
Thirdly, we discussed benefits of random input generation for our net-lists in the code instead of reading these inputs from an input file. Then, we concluded that this change will remove some overhead on simulation code.
Finally, we talked about extra optimization operations that we can apply our code and how these changes may affect simulation time. Then, our supervisor made some comments about progress and posted us some new large benchmarks.
Up to next meeting, we are going to deal with new optimizations, tests, and we are going to upgrade our simulation code.
