A General Computational Framework and Simulations of Branching Programs of Boolean Circuits Using Higher Order Logic (HOL) Software - An Insight into ECAD Tool Design Paradigm

Abstract

Integrated optics and Optical computing are now a mature technology offering many types of devices and manufacturing techniques. Recent breakthroughs in the field of silicon photonics showed low-loss insulators, passive wave guide devices, high speed optical switches, detectors, silicon lasers, and silicon amplifiers, optical amplifiers etc. These devices have provided the possibility to construct CMOS compatible optical circuits with low power consumption, high bandwidth and low latencies. A critical component that we intend to focus is on considering Branching Programs as CAD tools for the design of future electronics. Hence, BPs as viable means to accomplish the task of propelling the R&D of Electronics, are considered and simulated using HOL software based on boolean theory. We believe our research is one of the remarkable pioneering efforts, into the promising aspects of Branching Programs as CAD Tools.

DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach

“…In this way, a large system can be built on top of a small trusted kernel. -source wiki and 5,6 . "Isabelle is a generic proof assistant.…”

“…As large and complex programs necessarily require large and complex proofs, pen-and-paper based proofs become very difficult or even impossible to grasp. For this reason, the proofs are created with the assistance of an interactive or an automated theorem prover, in our case it is "Isabelle System" [1][2][3][4][5][6][7][8][9][10][11]18 . "Bio-chemical compounds which react are essentially parallel systems as per the existing and derived computing paradigms.…”

“…In addition to information processing, DNA acts as molecular scale heat engine, DNA stores energy, also available on hybridization of complementary strands or hydrolysis of its phosphodiester backbone [6][7][8][9][10] . "Bio-molecular computers are molecular-scale, programmable, autonomous computing machines in which the input, output, software, and hardware are made of biological molecules.…”

“…Alan Turing also looked beyond purely symbolic processing to natural bootstrapping mechanisms in his work on self-structuring in molecular and biological systems. Purely chemical computers have been proposed by Ross and Hjelmfelt extending Turing's approach" [1][2][3][4][5][6][7] . In biology, the idea of molecular information processing took hold starting from the unraveling of the genetic code and translation machinery and extended to genetic regulation, cellular signaling, protein trafficking, morphogenesis and evolution -all of this independently of the development in the lifesciences.…”

“…In biology, the idea of molecular information processing took hold starting from the unraveling of the genetic code and translation machinery and extended to genetic regulation, cellular signaling, protein trafficking, morphogenesis and evolution -all of this independently of the development in the lifesciences. For example, because of the fundamental role of bio-information processing in evolution, and the ability to address these issues on laboratory time scales at the molecular level, a number of alternative solutions exist indefinitely [5][6][7] .…”