The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Hardware has become an increasingly attractive target for attackers, yet we still largely lack tools that enable us to analyze large designs for security flaws. Information flow tracking (IFT) models provide an approach to verifying a hardware design's adherence to security properties related to isolation and reachability.
Based on the model of memeristor fabricated at HP laboratory, a new multiplexed flip-flop is proposed which can support power-off mode for scan testing. Testing data can be stored in memristor during the power-off time. The analyzes are verified with SPICE simulation, signal waveforms show that the presented memristive multiplexed flip-flop meet the requirements for low-power scan testing.
This work proposes a novel amplitude modulation topology which including a recently discovered unique memory element — memristor. The circuit is validated by theoretical analyses and simulations that generating a standard amplitude modulation signal with no harmonic component. Our results support the feasibility that memristor can be applied to communication circuit.
Secure hardware design is a challenging task that goes far beyond ensuring functional correctness. Important design properties such as non-interference cannot be verified on functional circuit models due to the lack of essential information (e.g., sensitivity level) for reasoning about security. Hardware information flow tracking (IFT) techniques associate data objects in the hardware design with...
To simulate the special state of ice-covered insulators, the traditional circuit model for insulators flashover was improved by considering the influence of air gaps. Take the energy varying accompany the ice-melting and water vapor into account, Cassie and Mayr differential equations were combined to describe the arc resistance. Based on the dynamic equations of arc resistance and residual ice-layer...
High assurance systems require strict guarantees on information flow security and fault tolerance or else face catastrophic consequences. Recently, Gate Level Information Flow Tracking (GLIFT) has been proposed to monitor information flows at the level of Boolean logic. At this level, all flows are explicit which makes it possible to detect security violations, even those that occur due to difficult...
Inductive Invariants play critical roles in restricting the search space during Sequential Equivalence Checking (SEC), especially for those instances with few internal equivalent points. For large circuits, there can be too many potential invariants relating signals between the two circuits, thereby requiring much time to prove. However, we observe that a large portion of the potential invariants...
Power quality problems such as voltage sags are presently important issues in the industrial field. The dynamic voltage restorer (DVR) is a series compensation device that mitigates voltage sag problems. Due to the nonlinearity of the DVR dynamic characteristics, the compensating performance of the DVR is affected much by its control strategy. In this paper, a backstepping control is proposed to improve...
IGBT is one of the key components of motor driving system for electric vehicles, and its reliability directly affects the reliability of the electric vehicles. The reliability of the IGBT is affected by the loss and the junction temperature in working condition. To predict the IGBTpsilas loss and thermal response, especially in the case of adverse dynamic conditions, the dynamic loss model and the...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.