Works matching DE "INTEGRATED circuit verification"
Results: 92
GMM-Based Speaker Verification System with Hardware MFCC in SoC Design.
- Published in:
- Multimedia Tools & Applications, 2024, v. 83, n. 19, p. 56991, doi. 10.1007/s11042-023-17561-6
- By:
- Publication type:
- Article
An identical bipolar buck‐boost AC‐AC converter based on a coupled‐inductor with safe‐commutation, high gain, and high efficiency.
- Published in:
- IET Power Electronics (Wiley-Blackwell), 2024, v. 17, n. 16, p. 3005, doi. 10.1049/pel2.12818
- By:
- Publication type:
- Article
Design and implementation of a novel nine-level MT-MLI with a self-voltage-balancing switching technique.
- Published in:
- IET Power Electronics (Wiley-Blackwell), 2019, v. 12, n. 15, p. 1, doi. 10.1049/iet-pel.2018.6119
- By:
- Publication type:
- Article
On the power handling of a high power combiner for industrial, scientific, and medical applications.
- Published in:
- Turkish Journal of Electrical Engineering & Computer Sciences, 2018, v. 26, n. 4, p. 2117, doi. 10.3906/elk-1709-49
- By:
- Publication type:
- Article
Hardware implementation of a scale and rotation invariant object detection algorithm on FPGA for real-time applications.
- Published in:
- Turkish Journal of Electrical Engineering & Computer Sciences, 2016, v. 24, n. 5, p. 4368, doi. 10.3906/elk-1408-187
- By:
- Publication type:
- Article
Implementation of Line Codes in Different Platforms.
- Published in:
- Journal of Active & Passive Electronic Devices, 2020, v. 15, n. 1/2, p. 13
- By:
- Publication type:
- Article
A SAMPLE PREPARATION WORKFLOW FOR DELAYERING A 45 nm NODE SERIAL PERIPHERAL INTERFACE MODULE.
- Published in:
- Electronic Device Failure Analysis, 2021, v. 23, n. 4, p. 4, doi. 10.31399/asm.edfa.2021-4.p004
- By:
- Publication type:
- Article
APPLIED FAILURE ANALYSIS TOOLS AND TECHNIQUES TOWARD INTEGRATED CIRCUITTRUSTAND ASSURANCE.
- Published in:
- Electronic Device Failure Analysis, 2021, v. 23, n. 1, p. 12, doi. 10.31399/asm.edfa.2021-1.p012
- By:
- Publication type:
- Article
New Physical Connectivity Engine for Native High Frequency Interconnect Verification.
- Published in:
- Microwave Journal, 2004, v. 47, n. 8, p. 118
- Publication type:
- Article
Verification of serialising instructions for security against transient execution attacks.
- Published in:
- IET Computers & Digital Techniques (Wiley-Blackwell), 2023, v. 17, n. 3/4, p. 127, doi. 10.1049/cdt2.12058
- By:
- Publication type:
- Article
自动调焦系统速度评估与仿真.
- Published in:
- Chinese Journal of Liquid Crystal & Displays, 2019, v. 34, n. 5, p. 515, doi. 10.3788/YJYXS20193405.0515
- By:
- Publication type:
- Article
Trials of using Generative AI for APB UVM testbench generation.
- Published in:
- Romanian Journal of Information Technology & Automatic Control / Revista Română de Informatică și Automatică, 2024, v. 34, n. 2, p. 75, doi. 10.33436/v34i2y202406
- By:
- Publication type:
- Article
Verification of Initialization Sequences for Sequential Circuits.
- Published in:
- Electronics & Electrical Engineering, 2011, n. 112, p. 61
- By:
- Publication type:
- Article
一种面向短时突发信号的高精度同步方案设计.
- Published in:
- Electronic Science & Technology, 2022, v. 35, n. 5, p. 66, doi. 10.16180/j.cnki.issn1007-7820.2022.05.011
- By:
- Publication type:
- Article
Verification of Mixed-Signal Systems with Affine Arithmetic Assertions.
- Published in:
- VLSI Design, 2013, p. 1, doi. 10.1155/2013/239064
- By:
- Publication type:
- Article
Hardware/Software Co-assurance for the Rust Programming Language Applied to Zero Trust Architecture Development.
- Published in:
- Ada User Journal, 2023, v. 44, n. 1, p. 38
- By:
- Publication type:
- Article
Basic Formal Verification of a Waypoint Manager for Unmanned Air Vehicles in SPARK.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 269
- By:
- Publication type:
- Article
Preface to special issue: EXPRESS/SOS 2016 + 2017.
- Published in:
- 2020
- By:
- Publication type:
- Editorial
Research on distributed beamforming synchronization technology in inter-satellite link system.
- Published in:
- Measurement & Control (0020-2940), 2022, v. 55, n. 5/6, p. 296, doi. 10.1177/00202940221089256
- By:
- Publication type:
- Article
Fisica TIC, plataforma Hardware-Software para Aplicaciones en Física e Ingeniería.
- Published in:
- Scientia et Technica, 2019, v. 24, n. 3, p. 354, doi. 10.22517/23447214.21081
- By:
- Publication type:
- Article
New test points help contain growing test costs.
- Published in:
- EE: Evaluation Engineering, 2017, v. 56, n. 11, p. 16
- By:
- Publication type:
- Article
Margin analysis emerges as imperative validation technique.
- Published in:
- EE: Evaluation Engineering, 2014, v. 53, n. 8, p. 28
- By:
- Publication type:
- Article
ESD full chip simulation: HBM and CDM requirements and simulation approach.
- Published in:
- Advances in Radio Science, 2008, v. 6, p. 245, doi. 10.5194/ars-6-245-2008
- By:
- Publication type:
- Article
Research on sensorless control method of permanent magnet synchronous motor based on iterated cubature Kalman filter.
- Published in:
- Science Progress, 2019, v. 103, n. 1, p. 1, doi. 10.1177/0036850419890272
- By:
- Publication type:
- Article
Power quality enhancement in single phase two level/five level converters using adaptive-RBFNN algorithm.
- Published in:
- Electrical Engineering, 2024, v. 106, n. 6, p. 7565, doi. 10.1007/s00202-024-02432-6
- By:
- Publication type:
- Article
High speed and adaptable error correction for megabit/s rate quantum key distribution.
- Published in:
- Scientific Reports, 2014, p. 1, doi. 10.1038/srep07275
- By:
- Publication type:
- Article
Development and Performance Verification of Frequency Control Algorithm and Hardware Controller Using Real-Time Cyber Physical System Simulator.
- Published in:
- Energies (19961073), 2022, v. 15, n. 15, p. 5722, doi. 10.3390/en15155722
- By:
- Publication type:
- Article
Verification Platform of SOC Estimation Algorithm for Lithium-Ion Batteries of Electric Vehicles.
- Published in:
- Energies (19961073), 2022, v. 15, n. 9, p. N.PAG, doi. 10.3390/en15093221
- By:
- Publication type:
- Article
Real-Time Processor-in-Loop Investigation of a Modified Non-Linear State Observer Using Sliding Modes for Speed Sensorless Induction Motor Drive in Electric Vehicles.
- Published in:
- Energies (19961073), 2020, v. 13, n. 16, p. 4212, doi. 10.3390/en13164212
- By:
- Publication type:
- Article
Preface.
- Published in:
- International Journal on Artificial Intelligence Tools, 2018, v. 27, n. 1, p. -1, doi. 10.1142/S0218213018020013
- By:
- Publication type:
- Article
Markov modelling and parameterisation of genetic evolutionary test generations.
- Published in:
- Journal of Global Optimization, 2011, v. 51, n. 4, p. 743, doi. 10.1007/s10898-011-9682-5
- By:
- Publication type:
- Article
Verifying Digital Components of Physical Systems: Experimental Evaluation of Test Quality.
- Published in:
- Russian Physics Journal, 2018, v. 60, n. 11, p. 2012, doi. 10.1007/s11182-018-1317-6
- By:
- Publication type:
- Article
Higher-order theorem proving and its applications.
- Published in:
- IT: Information Technology, 2019, v. 61, n. 4, p. 187, doi. 10.1515/itit-2019-0001
- By:
- Publication type:
- Article
基于在线仿真的无人机飞控系统智能校正技术.
- Published in:
- Journal of Nanjing University of Aeronautics & Astronautics / Nanjing Hangkong Hangtian Daxue Xuebao, 2019, v. 51, n. 6, p. 795, doi. 10.16356/j.1005-2615.2019.06.009
- By:
- Publication type:
- Article
An Event-Driven Link-Level Simulator for the Validation of AFDX and Ethernet Avionics Networks.
- Published in:
- Aerospace (MDPI Publishing), 2024, v. 11, n. 4, p. 247, doi. 10.3390/aerospace11040247
- By:
- Publication type:
- Article
SPECMAN-E TESTBENCH.
- Published in:
- Bulletin of the Transilvania University of Brasov, Series I: Engineering Sciences, 2018, v. 11, n. 1, p. 17
- By:
- Publication type:
- Article
Waypoint Tracking Control for Autonomous Mobile Sampling and Dissolved Oxygen Enrichment of Unmanned Surface Vehicle.
- Published in:
- Journal of Robotics, 2022, p. 1, doi. 10.1155/2022/3652329
- By:
- Publication type:
- Article
A four-state adaptive Hopf oscillator.
- Published in:
- PLoS ONE, 2021, v. 16, n. 3, p. 1, doi. 10.1371/journal.pone.0249131
- By:
- Publication type:
- Article
Canonical representations of high-level decision diagrams.
- Published in:
- Estonian Journal of Engineering, 2010, v. 16, n. 1, p. 39, doi. 10.3176/eng.2010.1.06
- By:
- Publication type:
- Article
VERIFICATION OF SYSTEMS WITH DEGRADATION.
- Published in:
- Computing & Informatics, 2012, v. 31, n. 3, p. 507
- By:
- Publication type:
- Article
Introduction to the Special Issue in Honor of Professor Emilio Pagoulatos.
- Published in:
- Journal of Agricultural & Food Industrial Organization, 2018, v. 15, n. 2, p. 1, doi. 10.1515/jafio-2017-0032
- By:
- Publication type:
- Article
Hierarchical formal verification using a hybrid tool.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 3, p. 313
- By:
- Publication type:
- Article
Preface by the section editor.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 3, p. 266
- By:
- Publication type:
- Article
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 2, p. 129, doi. 10.1007/s10009-023-00699-x
- By:
- Publication type:
- Article
Go2Pins: a framework for the LTL verification of Go programs (extended version).
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 1, p. 77, doi. 10.1007/s10009-022-00692-w
- By:
- Publication type:
- Article
A survey of new trends in symbolic execution for software testing and analysis.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 4, p. 339, doi. 10.1007/s10009-009-0118-1
- By:
- Publication type:
- Article
Approximating the safely reusable set of learned facts.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 4, p. 325, doi. 10.1007/s10009-009-0117-2
- By:
- Publication type:
- Article
Improving the effectiveness of system verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 2, p. 111, doi. 10.1007/s10009-007-0060-z
- By:
- Publication type:
- Article
The FSAP/NuSMV-SA Safety Analysis Platform.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 1, p. 5, doi. 10.1007/s10009-006-0001-2
- By:
- Publication type:
- Article
CTL-property Transformations along an Incremental Design Process.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 1, p. 77, doi. 10.1007/s10009-006-0007-9
- By:
- Publication type:
- Article