A Comparison of Map-Based Methods for Handling Type-2 and Type-3 Problems of Digital Circuit Design | Chapter 07 | Advances in Applied Science and Technology Vol. 3
With the advent of digital computers, several prominent problems of digital circuit design emerged. A particular elementary 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 warranted. The case of an honest translator is simply an inverse problem of logic, in which knowledge of the vectorial function Z(X) is utilised to produce its inverse vectorial function X(Z). Though an old method of solving type-2 problems was known almost half a century ago, two modern map-based methods are now possible, namely the method of Boolean-equation solving and the method of input-domain constraining. The paper aims to expose and illustrate these two novel methods, with stress on comparing them together ...