- Sponsor:
- sigda
No abstract available.
Efficient variation-aware EM-semiconductor coupled solver for the TSV structures in 3D IC
In this paper, we present a variational electromagnetic-semiconductor coupled solver to assess the impacts of process variations on the 3D integrated circuit (3D IC) on-chip structures. The solver employs the finite volume method (FVM) to handle a ...
Verifying jitter in an analog and mixed signal design using dynamic time warping
We present a variant of dynamic time warping (DTW) algorithm to verify jitter properties associated with an analog and mixed signal (AMS) design. First, the AMS design with stochastic jitter component is modeled using a system of difference equations ...
MEDS: mockup electronic data sheets for automated testing of cyber-physical systems using digital mockups
Cyber-physical systems have become more difficult to test as hardware and software complexity grows. The increased integration between computing devices and physical phenomena demands new techniques for ensuring correct operation of devices across a ...
Component-based and aspect-oriented methodology and tool for real-time embedded control systems design
This paper presents component-based and aspect-oriented methodology and tool for designing and developing Real-Time Embedded Control Systems (RTECS). This methodology defines a component model for describing modular and reusable software to cope with ...
Cyber-physical cloud computing: the binding and migration problem
- C. Kirsch,
- E. Pereira,
- R. Sengupta,
- H. Chen,
- R. Hansen,
- J. Huang,
- F. Landolt,
- M. Lippautz,
- A. Rottmann,
- R. Swick,
- R. Trummer,
- D. Vizzini
We take the paradigm of cloud computing developed in the cyber-world and put it into the physical world to create a cyber-physical computing cloud. A server in this cloud moves in space making it a vehicle with physical constraints. Such vehicles also ...
An adaptive approach for online fault management in many-core architectures
This paper presents a dynamic scheduling solution to achieve fault tolerance in many-core architectures. Triple Modular Redundancy is applied on the multi-threaded application to dynamically mitigate the effects of both permanent and transient faults, ...
An hybrid architecture to detect transient faults in microprocessors: an experimental validation
Due to performance issues commercial off the shelf components are becoming more and more appealing in application fields where fault tolerant computing is mandatory. As a result, to cope with the intrinsic unreliability of such components against ...
Evaluation of a new RFID system performance monitoring approach
Several performance monitoring approaches allowing the detection of RFID system defects have been proposed in the past. This article evaluates 3 of these approaches using a SystemC model, SERFID, of a UHF RFID system. SERFID can simulate the EPC C1G2 ...
A framework for simulating hybrid MTJ/CMOS circuits: atoms to system approach
A simulation framework that can comprehend the impact of material changes at the device level to the system level design can be of great value, especially to evaluate the impact of emerging devices on various applications. To that effect, we have ...
A block-level flash memory management scheme for reducing write activities in PCM-based embedded systems
This paper targets at an embedded system with phase change memory (PCM) and NAND flash memory. Although PCM is a promising main memory alternative and is recently introduced to embedded system designs, its endurance keeps drifting down and greatly ...
Architecting a common-source-line array for bipolar non-volatile memory devices
Traditional array organization of bipolar non-volatile memories such as STT-MRAM and memristor utilizes two bitlines for cell manipulations. With technology scaling, such bitline pair will soon become the bottleneck of density improvement. In this paper ...
Layout-aware optimization of STT MRAMs
We present a layout-aware optimization methodology for spin-transfer torque (STT) MRAMs, considering the dependence of cell area on the access transistor width (WFET), number of fingers in the access transistor and the metal pitch of bit- and source-...
Characterization of the bistable ring PUF
The bistable ring physical(ly) unclonable function (BR-PUF) is a novel electrical intrinsic PUF design for physical cryptography. FPGA prototyping has provided a proof-of-concept, showing that the BR-PUF could be a promising candidate for strong PUFs. ...
An operational matrix-based algorithm for simulating linear and fractional differential circuits
We present a new time-domain simulation algorithm (named OPM) based on operational matrices, which naturally handles system models cast in ordinary differential equations (ODEs), differential algebraic equations (DAEs), high-order differential equations ...
A flexible and fast software implementation of the FFT on the BPE platform
The importance of having an efficient Fast Fourier Transform (FFT) implementation is universally recognized as one of the key enablers for the development of new and more powerful signal processing algorithms. In the field of telecommunications, one of ...
Hierarchical propagation of geometric constraints for full-custom physical design of ICs
In industrial environments, full-custom layout design of analog and mixed-signal ICs is done hierarchically. In order to increase design efficiency, cell layouts are reused in the design hierarchy. Constraints forming relations between instances in ...
Double-patterning friendly grid-based detailed routing with online conflict resolution
Double patterning lithography (DPL) is seen as one of the most promising solutions for new technology nodes such as 32nm and 22nm. However, DPL faces the challenges of handling layout decomposition and overlay errors. Currently, most DPL solutions use ...
Design and analysis of via-configurable routing fabrics for structured ASICs
This paper presents a simple method for design and analysis of a via-configurable routing fabric formed by an array of routing fabric blocks (RFBs). The method simply probes into an RFB rather than resorts to full-chip routing to collect some statistics ...