In this paper, a new method is presented for encryption of colored images. This method is based on using stack data structure and chaos which make the image encryption algorithm more efficient and robust. In the proposed algorithm, a series of data whose range is between 0 and 3 is generated using chaotic logistic system. Then, the original image is divided into four subimages, and these four i...

Effective resistance to intellectual property theft, reverse engineering, and hardware Trojan insertion in integrated circuit supply chains is increasingly essential, for which many solutions have been proposed. Accordingly, strong attacks are also designed this field. One way achieve the above goal obfuscation. The obfuscation method hides primary function of normal Netlist from attacker by ad...

Wireload models are like the weather. Many people talk about them, but not many people do anything about them! This paper will explore some of the myths and realities of wireload models: • why wireload models are important, and why nobody understands them • why your intuition is wrong • why you shouldn’t trust your silicon vendor • why floorplanning sometimes doesn’t matter • why having an accu...

Realization of efficient Universal Logic Modules (ULMs) is a challenging topic in circuit design. The goal is to find a representation that allows to realize as many Boolean functions as possible by permutation of inputs or phase assignment. In this paper an exact algorithm for finding a minimal circuit for a ULM is presented. The approach is parametrisized in several ways, e.g. the user can de...

0

INSIDE Drift-Diffusion Mode-Space Approach to Subband Transport in Devices with Transverse Quantum Confinement ......................................... 3 Monte Carlo Device Modeling of a Self-Aligned n-MOSFET ........................................................... 8 MixedMode Netlist Generation Using Gateway ..... 11 Hints, Tips and Solutions ......................................... 14 Or...

In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that allows us to check both bounded and unbounded properties using standard bit-level model checking methods as back-end decision procedures, while incurring minimum runtime penalties for designs that are unsuited to our ana...

This paper continues our investigation into the feasibility of exploiting the structure of a parallel program to guide its hardware implementation. We review previous work, and present our new approach to the problem based upon placing netlists hierarchically. It is found that appropriate constraints can be derived from the source code in a straight-forward way, and this information can be used...