Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen


INHALT & PFAD:
Startseite Detail


"The Subset and Permutation-Invariant Equivalence Checking Problem"



Datum: 17.09.2015
Uhrzeit: 13.00 Uhr s.t.

Ort: Cartesium Rotunde


Vortragende(r): Baruch Sterin
Abstract:
SPIEC (Subset and Permutation-Invariant Equivalence Checking) is the problem of finding whether one multiple-output boolean function multiple-output boolean function. That is, whether the larger function has a subset of inputs and outputs that can be permuted so that it equivalent to the smaller function. This problem has applications in Reverse Engineering and Technology Mapping. We present an algorithm to solve the problem.
Zur Person:
Baruch Sterin is a Ph.D. candidate in Electrical Engineering and Computer Science at the University of California, Berkeley. He is working under the supervision of Robert K. Brayton. His interests are in Formal Verification and Logic Synthesis.



Ansprechpartner(in) / Einladende(r):
Dr. Mathias Soeken





zurück  

Seitenanfang  -  Impressum Zuletzt geändert durch: cocs [b]   14.09.2015 Admin-Login