Works matching DE "INTEGRATED circuit verification"
Results: 92
一种面向短时突发信号的高精度同步方案设计.
- 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
Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.
- Published in:
- International Journal of Parallel Programming, 2006, v. 34, n. 1, p. 61, doi. 10.1007/s10766-005-0004-8
- 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
Preface.
- Published in:
- International Journal on Artificial Intelligence Tools, 2018, v. 27, n. 1, p. -1, doi. 10.1142/S0218213018020013
- 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
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
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
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
Development of a spherical parallel manipulator for brain surgery applications: preliminary study on the dynamic analysis and verification.
- Published in:
- Robotica, 2022, v. 40, n. 10, p. 3726, doi. 10.1017/S0263574722000522
- By:
- Publication type:
- Article
Load Model Verification, Validation and Calibration Framework by Statistical Analysis on Field Data.
- Published in:
- International Journal of Emerging Electric Power Systems, 2017, v. 18, n. 6, p. 1, doi. 10.1515/ijeeps-2017-0070
- By:
- Publication type:
- Article
Coverage Fulfillment Automation in Hardware Functional Verification Using Genetic Algorithms.
- Published in:
- Applied Sciences (2076-3417), 2022, v. 12, n. 3, p. 1559, doi. 10.3390/app12031559
- By:
- Publication type:
- Article
Deep-cARe: Projection-Based Home Care Augmented Reality System with Deep Learning for Elderly.
- Published in:
- Applied Sciences (2076-3417), 2019, v. 9, n. 18, p. 3897, doi. 10.3390/app9183897
- By:
- Publication type:
- Article
A 4K-Capable FPGA Implementation of Single Image Haze Removal Using Hazy Particle Maps.
- Published in:
- Applied Sciences (2076-3417), 2019, v. 9, n. 17, p. 3443, doi. 10.3390/app9173443
- By:
- Publication type:
- Article
Reinforcement Learning Made Affordable for Hardware Verification Engineers.
- Published in:
- Micromachines, 2022, v. 13, n. 11, p. 1887, doi. 10.3390/mi13111887
- 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
Multifunctional Signal Design for Measurement, Navigation and Communication Based on BOC and BPSK Modulation.
- Published in:
- Remote Sensing, 2022, v. 14, n. 7, p. 1653, doi. 10.3390/rs14071653
- 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
Metric-Driven Verification Methodology with Regression Management.
- Published in:
- Journal of Electronic Testing, 2019, v. 35, n. 1, p. 101, doi. 10.1007/s10836-019-05777-0
- By:
- Publication type:
- Article
A Unified Sequential Equivalence Checking Methodology to Verify RTL Designs with High-Level Functional and Protocol Specification Models.
- Published in:
- Journal of Electronic Testing, 2015, v. 31, n. 3, p. 255, doi. 10.1007/s10836-015-5528-2
- By:
- Publication type:
- Article
Formal Verification of Analog and Mixed Signal Designs Using SPICE Circuit Simulation Traces.
- Published in:
- Journal of Electronic Testing, 2013, v. 29, n. 5, p. 715, doi. 10.1007/s10836-013-5407-7
- By:
- Publication type:
- Article
Functional Verification of DMA Controllers.
- Published in:
- Journal of Electronic Testing, 2011, v. 27, n. 4, p. 505, doi. 10.1007/s10836-011-5219-6
- By:
- Publication type:
- Article
Adaptive Modeling of Analog/RF Circuits for Efficient Fault Response Evaluation.
- Published in:
- Journal of Electronic Testing, 2011, v. 27, n. 4, p. 465, doi. 10.1007/s10836-011-5221-z
- By:
- Publication type:
- Article
A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling.
- Published in:
- Journal of Electronic Testing, 2011, v. 27, n. 4, p. 485, doi. 10.1007/s10836-011-5225-8
- By:
- Publication type:
- Article
Off-Chip Skew Measurement and Compensation Module (SMCM) Design for Built-Off Test Chip.
- Published in:
- Journal of Electronic Testing, 2011, v. 27, n. 4, p. 429, doi. 10.1007/s10836-011-5213-z
- By:
- Publication type:
- Article
An Optimized Seed-based Pseudo-random Test Pattern Generator: Theory and Implementation.
- Published in:
- Journal of Electronic Testing, 2011, v. 27, n. 4, p. 477, doi. 10.1007/s10836-011-5232-9
- By:
- Publication type:
- Article
Fault Models for Quantum Mechanical Switching Networks.
- Published in:
- Journal of Electronic Testing, 2010, v. 26, n. 5, p. 499, doi. 10.1007/s10836-010-5171-x
- 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
Improved verification of hardware designs through antecedent conditioned slicing.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 1, p. 89, doi. 10.1007/s10009-006-0022-x
- By:
- Publication type:
- Article
Tools and algorithms for the construction and analysis of systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 3, p. 177, doi. 10.1007/s10009-006-0221-5
- By:
- Publication type:
- Article
Live sequence charts applied to hardware requirements specification and verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 4, p. 341, doi. 10.1007/s10009-004-0145-x
- 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
Design and Verification of Cyber-Physical Systems Specified by Petri Nets—A Case Study of a Direct Matrix Converter.
- Published in:
- Mathematics (2227-7390), 2019, v. 7, n. 9, p. 812, doi. 10.3390/math7090812
- 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
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
New Physical Connectivity Engine for Native High Frequency Interconnect Verification.
- Published in:
- Microwave Journal, 2004, v. 47, n. 8, p. 118
- 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
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
Model Checking Using Large Language Models—Evaluation and Future Directions.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 401, doi. 10.3390/electronics14020401
- By:
- Publication type:
- Article
Hardware Design and Verification with Large Language Models: A Scoping Review, Challenges, and Open Issues.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 1, p. 120, doi. 10.3390/electronics14010120
- By:
- Publication type:
- Article
HT-PGFV: Security-Aware Hardware Trojan Security Property Generation and Formal Security Verification Scheme.
- Published in:
- Electronics (2079-9292), 2024, v. 13, n. 21, p. 4286, doi. 10.3390/electronics13214286
- By:
- Publication type:
- Article
Artificial Intelligence Application in the Field of Functional Verification.
- Published in:
- Electronics (2079-9292), 2024, v. 13, n. 12, p. 2361, doi. 10.3390/electronics13122361
- By:
- Publication type:
- Article
Fractional Encoding of At-Most-K Constraints on SAT.
- Published in:
- Electronics (2079-9292), 2023, v. 12, n. 15, p. 3211, doi. 10.3390/electronics12153211
- By:
- Publication type:
- Article