Witschen, LinusReischuk, Rüdiger2023-11-092023-11-092023978-3-88579-981-8https://dl.gi.de/handle/20.500.12116/42606Approximate Computing hat sich als ein Weg herauskristallisiert, die Verarbeitungsleistung von Rechnersystemen weiter zu steigern, indem die Rechengenauigkeit einer Anwendung reduziert wird. Diese Dissertation betrachtet Approximate Computing auf der Hardwareebene, auf der approximative Logiksynthese (ALS) approximierte Schaltungen generiert. Konkret leistet die Arbeit fünf innovative Beiträge und betrachtet automatisierte, suchbasierte ALS Prozesse, die in vier Schritte aufgeteilt werden: Suche, Approximation, Verifikation und Abschätzung. Vier Beiträge der Arbeit fokussieren sich auf den ALS Prozess und umfassen die Konzeption und Umsetzung von suchbasierten ALS Prozessen, ein neuartiges Suchverfahren sowie zwei auf formalen Methoden basierende Verfahren zur Approximation und Verifikation von Schaltungen. Der fünfte Beitrag besteht in einem Verfahren zur formalen Suchraumcharakterisierung, das als Vorverarbeitungsschritt für einen ALS Prozess eingesetzt wird.deText/Conference Paper