Fakultät für informatik informatik 12 technische universität dortmund Universität Dortmund Logiksynthese Peter Marwedel TU Dortmund, Informatik 12 2008/06/22.