Conjunctive normal forms (CNF) of structured satisfiability problems contain logic gate patterns. So Boolean circuits (BC) by and large can be obtained from them thus structural information that is lost in the CNF recovered. However, it not known which gates are useful for local search on BCs or particular help most why. In this article, we empirically show exploitation xor, xnor, eq, a key fac...

Spin-based computing, combining logic and nonvolatile magnetic memory, is promising for emerging information technologies. However, the realization of a universal spin operation, representing reconfigurable building block with all-electrical spin-current communication, has so far remained challenging. Here, we experimentally demonstrate reprogrammable multifunctional operations in nanoelectroni...

This paper presents high speed and low power full adder cells designed with an alternative internal logic structure and Gate Diffusion Input (GDI) logic styles and hybrid CMOS logic style that lead to have a reduced Power Delay Product (PDP). The main design objective for this adder module is not only providing low-power dissipation and high speed but also full-voltage swing. In the first desig...

In this letter, we prove that the perfectly secure One-Time Pad (OTP) encryption can be seen as finding the initial condition on the binary map under a random switch based on the perfectly random pad. This turns out to be a special case of Grangetto’s randomized arithmetic coding performed on the Binary Map. Furthermore, we derive the set of possible perfect secrecy systems using such an approa...

Abstract This paper presents two adder compressors architectures addressing high-speed and low power. Adder compressors are used to implement arithmetic circuits such as multipliers and digital signal processing units like the Fast Fourier Transform (FTT). To address the objective of high-speed and low power, it is well known that optimization efforts should be applied in all abstraction levels...

Binary neural networks (BNNs) are adequate for energy-constrained embedded systems thanks to binarized parameters. Several researchers have proposed the compute-in-memory (CiM) SRAMs XNOR-and-accumulation computations (XACs) in BNNs by adding additional transistors conventional 6T SRAM, which reduce latency and energy of data movements. However, due transistors, CiM suffer from larger area long...

We show how the tracer motion of tagged, distinguishable particles can effectively describe transport in various homogeneous quantum many-body systems with constraints. consider spinful on a one-dimensional lattice subjected to constrained spin interactions, such that some or even all multipole moments effective pattern formed by are conserved. On one hand, when - and thus entire conserved, dyn...