A Comparison of the Methods of Boolean-Equation Solving and Input-Domain Constraining for Handling Type-2 Problems of Digital Circuit Design
Ali Muhammad Ali Rushdi & Waleed Ahmad · Current Journal of Applied Science and Technology · 2018
With the advent of digital computers, several prominent problems of digital circuit design emerged. A particular class of these problems, (called Type-2 problems) can be divided into two subclasses depending on whether an honest translator is possible or a sneaky translator is wa...
Open access
Research Article
10.9734/CJAST/2018/43728