J
Janett Mohnke
Researcher at Humboldt State University
Publications - 11
Citations - 314
Janett Mohnke is an academic researcher from Humboldt State University. The author has contributed to research in topics: Combinational logic & Boolean circuit. The author has an hindex of 8, co-authored 10 publications receiving 306 citations. Previous affiliations of Janett Mohnke include Martin Luther University of Halle-Wittenberg & Humboldt University of Berlin.
Papers
More filters
Proceedings ArticleDOI
Detection of symmetry of Boolean functions represented by ROBDDs
TL;DR: The approach presented in this paper uses preprocessing methods to find as many asymmetric pairs of variables as possible to avoid cofactor computations at the end and results show that this is a very efficient approach.
Proceedings ArticleDOI
Limits of using signatures for permutation independent Boolean comparison
TL;DR: This paper addresses problems that arise while checking the equivalence of two Boolean functions under arbitrary input permutations, showing that, for a given example, this set of problematic variables tends to be the same-regardless of the choice of signatures.
Journal ArticleDOI
Permutation and phase independent Boolean comparison
Janett Mohnke,Sharad Malik +1 more
TL;DR: The approach presented in this paper computes a signature for each variable or phase of a variable that will help to establish correspondence of variables or phases of variables.
Proceedings ArticleDOI
Permutation and phase independent Boolean comparison
Janett Mohnke,Sharad Malik +1 more
TL;DR: The problem of checking the equivalence of two Boolean functions under arbitrary input permutations and/or input plane assignments is considered and a signature is computed for each variable or phase of a variable to help establish correspondence of variables or phases of variables.
Book
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods
Paul Molitor,Janett Mohnke +1 more
TL;DR: The present book is designed as a textbook covering one of the most important aspects in the verification process e equivalence checking of Boolean circuits, a textbook for advanced students in electrical and computer engineering but is also intended for researchers who will find it useful as a reference text.