The proceedings contain 65 papers. The topics discussed include: automatic architecture exploration of massively parallel MPSoCs for modern cyber-physical systems;design and testing of integrated circuit of pixel arch...
ISBN:
(纸本)9781479945580
The proceedings contain 65 papers. The topics discussed include: automatic architecture exploration of massively parallel MPSoCs for modern cyber-physical systems;design and testing of integrated circuit of pixel architecture for fast x-ray imaging applications;SiP design flow and 3D DRC for MEMS;studying DAC capacitor-array degradation in charge-redistribution SAR ADCs;automatically connecting hardware blocks via light-weight matching techniques;a double-path intra prediction architecture for the hardware H.265/HEVC encoder;online test vector insertion: a concurrent built-in self-testing (CBIST) approach for asynchronous logic;quality assurance in memory built-in self-test tools;fast time-parallel C-based event-driven RTL simulation;lower bounds of the size of shared structurally synthesized BDDs;BuildMaster: efficient ASIP architecture exploration through compilation and simulation result caching;and analysis of current conveyor non-idealities for implementation as integrator in delta sigma modulators.
Copyright and Reprint Permission: Abstracting is permitted with credit to the source. Libraries are permitted to photocopy beyond the limit of U.S. copyright law for private use of patrons those articles in this volum...
Copyright and Reprint Permission: Abstracting is permitted with credit to the source. Libraries are permitted to photocopy beyond the limit of U.S. copyright law for private use of patrons those articles in this volume that carry a code at the bottom of the first page, provided the per-copy fee indicated in the code is paid through Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA 01923. For other copying, reprint or republication permission, write to ieee Copyrights Manager, ieee Operations Center, 445 Hoes Lane, Piscataway, NJ 08854. All rights reserved. Copyright (c) 2013 by ieee. ieee Catalog Number: CFP13DDE-ART. ISBN: 978-1-4673-6136-1.
This work presents the design and simulation of photonic crystal-based OR and NOR logic gates, aimed at eliminating the need for dynamic control signals dependent on input combinations. Utilizing silicon-based photoni...
详细信息
Assessing the structural similarity of different implementations of logic functions is of importance in many areas of digital design, such as iterative resynthesis, engineering change order (ECO) based design, design ...
详细信息
ISBN:
(数字)9798331528010
ISBN:
(纸本)9798331528027
Assessing the structural similarity of different implementations of logic functions is of importance in many areas of digital design, such as iterative resynthesis, engineering change order (ECO) based design, design of reliable redundant systems (duplex, TMR), etc. In general, numerous metrics exist that describe such similarity, mostly based on its intended application. In this paper, we introduce a novel metric based on a calculation of the functional equivalence of subcircuits. As this approach requires repeated calls of time-consuming functional equivalence checking, we propose a linear-time approximation of this method based on signal controllability calculation. These two approaches are compared to the state-of-the-art fault detection-based design diversity estimation technique and applied to assess the fault-security capabilities of duplex systems.
The paper is devoted to the study of two-terminal electric circuits consisting of three elements - a resistor, a capacitor, and an inductor. There are eight different possible combinations of such circuits. We apply a...
详细信息
ISBN:
(数字)9798331528010
ISBN:
(纸本)9798331528027
The paper is devoted to the study of two-terminal electric circuits consisting of three elements - a resistor, a capacitor, and an inductor. There are eight different possible combinations of such circuits. We apply a standard and nonstandard duality (frequency duality). In this way, all possible circuits are divided into three groups: (2+ 2 +4). The first pair of circuits is extensively covered in most electrical engineering textbooks. The second pair is not interesting from the frequency point of view. We investigate in detail a third group of four circuits, which, by suitable substitution of variables, bring the finding of their frequency characteristics to the study of a single function. For them we find exact formulas for the frequency of phase resonance and amplitude resonance. The values of the minimum (maximum) amplitude at the corresponding resonance frequencies are found. Exact and approximate formulas for the cut-off frequency and bandwidth of the passband-stopband transition are derived.
The increasing complexity in digital system design has introduced significant challenges, particularly in maintaining productivity relative to the rapid advancement of technology. This paper addresses the issue by pre...
详细信息
ISBN:
(数字)9798331528010
ISBN:
(纸本)9798331528027
The increasing complexity in digital system design has introduced significant challenges, particularly in maintaining productivity relative to the rapid advancement of technology. This paper addresses the issue by presenting a new level of abstraction, termed Data Transaction Level (DTL), which operates at a higher level than the traditional Register Transfer Level (RTL). The proposed DTL design methodology draws inspiration from RTL but is tailored for the growing complexity of modern systems, particularly in neural network implementations. As neural networks are becoming essential in various applications, this paper applies the DTL methodology to hardware implementations of these networks. A SystemC-based hardware description language is introduced to facilitate the design process. The results section evaluates the effectiveness of the proposed methodology, highlighting increased productivity using the new abstraction and description language.
electronic devices exposed to non-ionizing radiation are susceptible to Single-Event Upsets (SEUs) in digital systems. These SEUs can lead to failures in the digital system of Brushless DC (BLDC) motor drivers, result...
详细信息
In integrated Digital-to-Analog Converters (DACs), random mismatch errors among nominally equal unit elements significantly limit the achievable accuracy. This work explores the effectiveness of tailored Dynamic Eleme...
详细信息
ISBN:
(数字)9798331528010
ISBN:
(纸本)9798331528027
In integrated Digital-to-Analog Converters (DACs), random mismatch errors among nominally equal unit elements significantly limit the achievable accuracy. This work explores the effectiveness of tailored Dynamic Element Matching (DEM) techniques in mitigating mismatch-induced non-linearity errors in resistor-string DAC architectures. Through statistical behavioural simulations, we identify effective DEM strategies that substantially reduce Integral Non-Linearity (INL). The proposed technique enables virtually zero INL errors at specific points of the transfer characteristic, which can be strategically chosen during circuit operation. Insofar, optimized design approaches for resistor-string DACs are proposed, fostering future integratedcircuit implementations with superior yield concerning accuracy and linearity specifications.
This paper presents the design and system integration of low-power analog and digital building blocks intended for DC-DC buck converters used in IoT applications by using time-based control techniques. Each building b...
详细信息
In the area of functional verification, AssertionBased Verification (ABV) has gained significant attention for the advantages it provides in verifying hardware designs. This approach relies on assertions generated by ...
详细信息
ISBN:
(数字)9798331528010
ISBN:
(纸本)9798331528027
In the area of functional verification, AssertionBased Verification (ABV) has gained significant attention for the advantages it provides in verifying hardware designs. This approach relies on assertions generated by automatic assertion miners. These miners employ various techniques and methods to automatically mine assertions. This paper focuses on studying the most recent, advanced, and widely used assertion miners in the field and provides an analytical comparison between them. This study aims to highlight the strengths and shortcomings of current automatic assertion miners to assist researchers and verification engineers in understanding the functionality, strengths, and limitations of each miner. By addressing these limitations, more advanced automatic assertion miners can be developed in the future.
暂无评论