SAT-Based Exact Synthesis for Multi-Level Logic Networks

Winston Jason Haaswijk
2019
possible without the kind help of many people. Unfortunately, there is no way for me to do justice to all of them here. Nevertheless, I will do my best. First, I would like to thank all of my friends and colleagues at the LSI. The relaxed and friendly atmosphere at the office made a big difference in my PhD experience, especially knowing that not everyone is so lucky. Second, I want thank my original co-advisor Pierre-Emmanuel Gaillardon. It was PE who showed me how the academic sausage is made
more » ... when I first came to EPFL. Next, I would like to mention some of our friends and partners from Synopsys Inc. for being such gracious hosts and supporters of my work. I especially thank Luca Amarù, Patrick Vuillod, Jiong Luo, and Janet Olson. I have to mention and thank Alan Mishchenko for our many valuable discussions. A true logic synthesis guru, our conversations were always inspiring. Afterwards I would be excited to start playing around with new ideas. Academic research is a skill, and I have not received more practical tips and tricks about it from anyone else than Mathias Soeken. I am indebted to him for countless ideas, discussions, and collaborations. Without his help my time in Switzerland would have been much more difficult. Speaking of research, there is one last academic I have not mentioned yet. I sincerely thank Giovanni De Micheli for allowing me to do my PhD research at the LSI. Nanni was always patient and gave me the time, space, and freedom to pursue the projects that I was interested in. I could not have asked for more. My time in Switzerland would not have been the same without a great social support system. I would like to thank all of my friends in Switzerland, from EPFL and beyond. Thanks for making this time such a great adventure. Finally, I want to express my deep thanks and gratitude to my family. Knowing that I could always come home to recharge was a great comfort to me. I am sure that it helped me to reach the end goal. Thank you for your support and for your patience. Thank you all.
doi:10.5075/epfl-thesis-9404 fatcat:yu37vmn6zffmrgzydvoou2zzla