Skip to main content

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 and demonstrating their superiority to (as well as an agreement with) the old conventional method. This purpose is achieved by way of three typical classical examples for which conventional solutions are somewhat tedious and cumbersome, while modern solutions are simple and  insightful.  Throughout  these  examples,  the  Karnaugh  map  is  effectively  utilised,  either  in  its conventional version or in its variable-entered version. The Boolean-equation-solving method seems toinvolve certain unwarranted steps that might be possibly skipped. However, its map-based variant is an effective method for handling a related class of digital-design problems called Type-3 problems. An example of a Type-3 problem is given to show how this method resolves and circumvents a certain discrepancy  that  conventional  techniques  fell  short  of  handling  completely.  The  present  study exposed, illustrated, and compared the two methods of Boolean-equation solving and input-domain constraining, which are novel methods for handling Type-2 problems of digital circuit design. Three typical  classical  examples  are  presented,  for  which  known  conventional  methods  of  solution  are somewhat tedious and cumbersome, while the map-based methods of solution presented herein are simple and insightful. Throughout these examples, the Karnaugh map is effectively utilised, either in its  conventional  version  or  in  its  variable-entered  version.  When  used  with  Type-2  problems,  the Boolean-equation-solving method seems to involve certain unwarranted steps that might be possibly skipped. However, its map-based variant is an effective method for handling a related class of digital-design problems called Type-3 problems. An example of a Type-3 problem is given to show how this method  resolves  and  circumvents  a  certain  discrepancy  that  conventional  techniques  fell  short  of handling completely.

Author(s) Details

Ali Muhammad Ali Rushdi
Department of Electrical and Computer Engineering, King Abdulaziz University, P.O.Box80204, Jeddah 21589, Saudi Arabia.

Comments

Popular posts from this blog

Greening Regional Airports: A Vision for Carbon Neutral Infrastructure | Chapter 12 | Contemporary Perspective on Science, Technology and Research Vol. 3

 This study provides an overview of the energy demand of a regional airport, divided into individual time horizons. The electrification of aircraft systems raises the question of whether airports will be among the largest electricity consumers in our infrastructure in the future. Sustainability and especially emission reductions are significant challenges for airports that are currently being addressed. The Clean Sky 2 project GENESIS addresses the environmental sustainability of hybrid-electric 50-passenger aircraft systems in a life cycle perspective to support the development of a technology roadmap for the transition to sustainable and competitive electric aircraft systems. This article originates from the GENESIS research and describes various options for ground power supply at a regional airport. Potential solutions for airport infrastructure with a short (2030), medium (2040), and long (2050) time horizon are proposed. In addition to the environmental and conservation benefi...

Risk Factors for Postpartum Psychiatric Disorders. A Review of the Literature | Chapter 8 | New Visions in Medicine and Medical Science Vol. 4

  Objective: The aim of this study was to explore the risk factors for the development of postpartum psychiatric disorders through international literature. Materials and Methods: Throughout many articles in PubMed, Google scholar and PsycInfo, a great amount of recent data was gathered to identify the disorders that are most common as well as their risk factors. Results: After childbirth, most commonly women experience postpartum depression, anxiety disorders, post-traumatic stress disorder and postpartum psychosis. All the disorders have many similar risk-factors with the main one being preexisting psychiatric disorder and many similar symptoms too. Conclusions: Women after childbirth are at risk of experience many psychiatric disorders, such as postpartum distress, postpartum post traumatic stress disorder and even more rarely postpartum psychosis. It is important to provide comprehensive support to ensure the well-being of both the mother and the infant and this will b...

Alkali Element Modification of Glucose Molecules as a Method to Dissolve Cancer Cells | Chapter 12 | New Visions in Medicine and Medical Science Vol. 4

  The present study highlights about alkali element modification of glucose molecules as a method to dissolve cancer cells. The central regulation of the mechanisms governing cell proliferation has little effect on cancer cells. Cancer cells are entirely independent of the central command and divide and proliferate on their own, making it challenging to activate their response mechanism. Precisely, this is the reason why they are at risk to the health of humans and/or any biological entities. Instead of trying to reconnect the central command of the growth control mechanism to cancer cells that are already out of the range, we present a method of using the cancer cell’s own irresponsive and uncontrolled growth mechanism to their disadvantage and destroy the cancer cells. We found that this is achievable in an atomic/molecular level study of the glucose molecule, which is the primary food source used for growth and energy generation by all cells in the body, including the cancer cel...