Electronic Systems Design Seminar
In this talk an overview of research on restructuring of Boolean networks will be given. First, restructuring possible due to internal symmetries of the netlists will be discussed. Next, a logic implication based techniques for finding alternative wires of a given wire will be presented. Finally, theoretical results based on error-correction model will be presented and related to alternative wires identification.
Malgorzata Marek-Sadowska received an M.S. degree in Applied Mathematics and a Ph.D. degree in Electrical Engineering from Politechnika Warszawska (Technical University of Warsaw), Poland.
From 1976 to 1982 she was an assistant professor at the Institute of Electron Technology at the Technical University of Warsaw. She became a research engineer at the U.C. Berkeley Electronics Research Laboratory in 1982 and continued there until 1990, when she joined the Department of Electrical and Computer Engineering at the University of California, Santa Barbara, as a professor.
From 1993 to 1995 she was Editor-In-Chief of IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. She is IEEE Fellow.