English
Related papers

Related papers: SOC Testing Methodology and Practice

200 papers

As transistor counts in a single chip exceed tens of billions, the complexity of RTL-level simulation and verification has grown exponentially, often extending simulation campaigns to several months. In industry practice, RTL simulation is…

Hardware Architecture · Computer Science 2025-09-04 Weigang Feng , Yijia Zhang , Zekun Wang , Zhengyang Wang , Yi Wang , Peijun Ma , Ningyi Xu

Continuous Integration (CI) testing is a popular software development technique that allows developers to easily check that their code can build successfully and pass tests across various system environments. In order to use a CI platform,…

Software Engineering · Computer Science 2018-05-14 Mark Santolucito , Jialu Zhang , Ennan Zhai , Ruzica Piskac

Due to significant manufacturing process variations, the performance of integrated circuits (ICs) has become increasingly uncertain. Such uncertainties must be carefully quantified with efficient stochastic circuit simulators. This paper…

Computational Engineering, Finance, and Science · Computer Science 2014-09-18 Zheng Zhang , Ibrahim , M. Elfadel , Luca Daniel

As the complexity of the scan algorithm is dependent on the number of design registers, large SoC scan designs can no longer be verified in RTL simulation unless partitioned into smaller sub-blocks. This paper proposes a methodology to…

Other Computer Science · Computer Science 2014-09-12 Bill Jason Tomas , Yingtao Jiang , Mei Yang

We have fabricated a custom cryogenic Complementary Metal-Oxide-Semiconductor (CMOS) integrated circuit that has a higher measurement bandwidth compared with conventional room temperature electronics. This allowed implementing single shot…

This letter proposes a lightweight, model-free online diagnostic framework for detecting internal short circuits (ISC) in single lithium-ion cells under dynamic operating conditions. The core of the method lies in computing the first-order…

Systems and Control · Electrical Eng. & Systems 2025-06-17 Yangyang Xu , Chenglin Liao

Multiple operational constraints of power system stability are derived analytically and reformulated into Second-Order Cone (SOC) form through a unification method in Part I of this paper. The accuracy and conservativeness of the proposed…

Systems and Control · Electrical Eng. & Systems 2026-05-26 Zhongda Chu , Fei Teng

The goal of integrated quantum photonics is to combine components for the generation, manipulation, and detection of non-classical light in a phase stable and efficient platform. Solid-state quantum emitters have recently reached…

Applied Physics · Physics 2020-04-07 Je-Hyung Kim , Shahriar Aghaeimeibodi , Jacques Carolan , Dirk Englund , Edo Waks

We present a new approach to automated scenario-based testing of the safety of autonomous vehicles, especially those using advanced artificial intelligence-based components, spanning both simulation-based evaluation as well as testing in…

Systems and Control · Electrical Eng. & Systems 2020-07-14 Daniel J. Fremont , Edward Kim , Yash Vardhan Pant , Sanjit A. Seshia , Atul Acharya , Xantha Bruso , Paul Wells , Steve Lemke , Qiang Lu , Shalin Mehta

The large scientific projects present new technological challenges, such as the distributed control over a communication network. In particular, the middleware EPICS is the most extended communication standard in particle accelerators. The…

Systems and Control · Computer Science 2014-06-17 J. Jugo , M. Eguiraun , I. Badillo , I. Arredondo , D. Piso

Systems-on-chip (SoCs) are becoming heterogeneous: they combine general-purpose processor cores with application-specific hardware components, also known as accelerators, to improve performance and energy efficiency. The advantages of…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-03-19 Luca Piccolboni , Giuseppe Di Guglielmo , Luca Carloni

Attacks targeting software on embedded systems are becoming increasingly prevalent. Remote attestation is a mechanism that allows establishing trust in embedded devices. However, existing attestation schemes are either static and cannot…

Cryptography and Security · Computer Science 2018-10-04 Ghada Dessouky , Shaza Zeitouni , Thomas Nyman , Andrew Paverd , Lucas Davi , Patrick Koeberl , N. Asokan , Ahmad-Reza Sadeghi

Machine learning is playing an increasingly significant role in emerging mobile application domains such as AR/VR, ADAS, etc. Accordingly, hardware architects have designed customized hardware for machine learning algorithms, especially…

Machine Learning · Computer Science 2018-02-05 Yuhao Zhu , Matthew Mattina , Paul Whatmough

Embedded Systems combine one or more processor cores with dedicated logic running on an ASIC or FPGA to meet design goals at reasonable cost. It is achieved by profiling the application with variety of aspects like performance, memory…

Performance · Computer Science 2013-12-12 Rajendra Patel , Arvind Rajwat

In this work, we report implementation and performance evaluation of memristor-driven fundamental logic gates, including NOT, AND, NAND, OR, NOR, and XOR, and novel and optimized design of the sequential logic circuits, such as D flip-flop,…

Hardware Architecture · Computer Science 2026-02-17 Paras Tiwari , Narendra Singh Dhakad , Shalu Rani , Sanjay Kumar , Themis Prodromakis

This paper presents the design of a new monolithic Silicon-On-Insulator pixel sensor in $200~nm$ SOI CMOS technology. The main application of the proposed pixel detector is the spectroscopy, but it can also be used for the minimum ionizing…

Instrumentation and Detectors · Physics 2015-07-06 Szymon Bugiel , Roma Dasgupta , Sebastian Glab , Marek Idzik , Jakub Moron , Piotr Julian Kapusta , Wojciech Kucewicz , Michal Turala

In contrast to the common habit of taking full bitwise copies of storage devices before analysis, selective imaging promises to alleviate the problems created by the increasing capacity of storage devices. Imaging is selective if only…

Other Computer Science · Computer Science 2020-12-07 Fabian Faust , Aurélien Thierry , Tilo Müller , Felix Freiling

Model-based testing is a promising technology for black-box software and hardware testing, in which test cases are generated automatically from high-level specifications. Nowadays, systems typically consist of multiple interacting…

Software Engineering · Computer Science 2019-04-16 Przemyslaw Daca , Thomas A. Henzinger , Willibald Krenn , Dejan Nickovic

The motor control board has various defects such as inconsistent color differences, incorrect plug-in positions, solder short circuits, and more. These defects directly affect the performance and stability of the motor control board,…

Computer Vision and Pattern Recognition · Computer Science 2025-05-26 Jingde Huang , Zhangyu Huang , Chenyu Li , Jiantong Liu

As the demand for efficient, low-power computing in embedded and edge devices grows, traditional computing methods are becoming less effective for handling complex tasks. Stochastic computing (SC) offers a promising alternative by…