Works matching DE "INTEGRATED circuit verification"

Results: 101

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:

Lopez, Elena;
Lopez, Rigoberto A.

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:

Păsăreanu, Corina;
Visser, Willem

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:

Babić, Domagoj;
Hu, Alan

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:

Hermanns, Holger;
Palsberg, Jens

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:

Bozzano, Marco;
Villafiorita, Adolfo

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:

Braunstein, Cécile;
Encrenaz, Emmanuelle

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:

Vasudevan, Shobha;
Emerson, E.;
Abraham, Jacob

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:

Jensen, Kurt;
Podelski, Andreas

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:

Bunker, Annette;
Gopalakrishnan, Ganesh;
Slind, Konrad

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:

Skander#Kort;
Sofiène#Tahar;
Paul#Curzon

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:

Tiziana#Margaria

Publication type:

Article

Fuzzy logic enhanced control for a single‐stage grid‐tied photovoltaic system with shunt active filtering capability.

Published in:

International Transactions on Electrical Energy Systems, 2021, v. 31, n. 10, p. 1, doi. 10.1002/2050-7038.13008

By:

Ayachi Amor, Yacine;
Hamoudi, Farid;
Kheldoun, Aissa;
Didier, Gaëtan;
Rabiai, Zakaria

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:

Dixon, A. R.;
Sato, H.

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:

Vera-Soto, Pablo;
Villegas, Javier;
Fortes, Sergio;
Pulido, José;
Escaño, Vicente;
Ortiz, Rafael;
Barco, Raquel

Publication type:

Article

Predefined time trajectory tracking control and hardware in loop verification for quadrotor UAV under input delay and disturbances.

Published in:

Asian Journal of Control, 2025, v. 27, n. 4, p. 1950, doi. 10.1002/asjc.3557

By:

Li, Shuo;
Duan, Na;
Pei, Hailong

Publication type:

Article

New test points help contain growing test costs.

Published in:

EE: Evaluation Engineering, 2017, v. 56, n. 11, p. 16

By:

Mayer, Jeff

Publication type:

Article

Margin analysis emerges as imperative validation technique.

Published in:

EE: Evaluation Engineering, 2014, v. 53, n. 8, p. 28

By:

Caffee, Tim

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:

Güzin, Didem;
Gezgin, Erkin

Publication type:

Article

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:

Tsai, Tsung-Han;
Wang, Chiao-Li

Publication type:

Article

Research on a Broadband Optical Monitoring Method with an Improved Error Compensation Mechanism.

Published in:

Coatings (2079-6412), 2025, v. 15, n. 5, p. 551, doi. 10.3390/coatings15050551

By:

Ji, Ming;
Guo, Yiming;
Pei, Yuhui;
Qin, Zhenjiang;
Liu, Weiji;
Hon, Chitin

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:

GROSU, Al.;
CARP, M.

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:

Jin, Tae-Hwan;
Shin, Ki-Yeol;
Chung, Mo;
Lim, Geon-Pyo

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:

Xia, Bizhong;
Zhang, Guanyong;
Chen, Huiyuan;
Li, Yuheng;
Yu, Zhuojun;
Chen, Yunchao

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:

Krishna Srinivasan, Mohan;
Daya John Lionel, Febin;
Subramaniam, Umashankar;
Blaabjerg, Frede;
Madurai Elavarasan, Rajvikram;
Shafiullah, G. M.;
Khan, Irfan;
Padmanaban, Sanjeevikumar

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:

Yuan, Jian;
Liu, Hailin;
Zhang, Wenxia

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:

Xiangqing Jiao;
Yuan Liao;
Thai Nguyen

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

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:

Hardin, David

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:

Humphrey, Laura

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:

Li, XiaoFu;
Shougat, Md Raf E Ul;
Kennedy, Scott;
Fendley, Casey;
Dean, Robert N.;
Beal, Aubrey N.;
Perkins, Edmon

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:

Karputkin, Anton;
Ubar, Raimund;
Raik, Jaan;
Tombak, Mati

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

Reinforcement Learning Made Affordable for Hardware Verification Engineers.

Published in:

Micromachines, 2022, v. 13, n. 11, p. 1887, doi. 10.3390/mi13111887

By:

Dinu, Alexandru;
Ogrutan, Petre Lucian

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:

DRANGA, Diana

Publication type:

Article

Algebraic semantics of the →,□-fragment of Propositional Lax Logic.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2020, v. 24, n. 2, p. 813, doi. 10.1007/s00500-019-04536-9

By:

Celani, Sergio A.;
Montangie, Daniela

Publication type:

Article

MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2019, v. 23, n. 12, p. 4531, doi. 10.1007/s00500-018-3444-y

By:

Rafe, Vahid;
Darghayedi, Mahsa;
Pira, Einollah

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:

Laputenko, A. V.;
López, J. E.;
Yevtushenko, N. V.

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:

Ahmed, Hafiz Furqan;
Lahooti Eshkevari, Alireza;
Abdoli, Iman

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:

Naik, Banavath Shiva;
Suresh, Yellasiri;
Venkataramanaiah, Jammala;
Panda, Anup Kumar

Publication type:

Article

DESIGN AND VERIFICATION OF 16-BIT RISC PROCESSOR USING SYSTEMVERILOG.

Published in:

i-Manager's Journal on Circuits & Systems, 2018, v. 6, n. 4, p. 38, doi. 10.26634/jcir.6.4.14864

By:

BHAGAT, S. M.;
BHANDARI, S. U.

Publication type:

Article

GRID INTEGRATION AND POWER QUALITY IMPROVEMENT OF SMART GRID.

Published in:

i-Manager's Journal on Power Systems Engineering, 2019, v. 7, n. 1, p. 29, doi. 10.26634/jps.7.1.16501

By:

PARAMANIK, SAYAN;
SARKER, KRISHNA;
SARKER, JAYANTI

Publication type:

Article

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:

Chen, Jianyun;
Yonggang, Zhang;
Liu, Sili

Publication type:

Article

Design, Verification and Hardware Implementation of 4kB Synchronous FIFO for Automatic Vehicle Communication Applications.

Published in:

Journal of Circuits, Systems & Computers, 2025, v. 34, n. 12, p. 1, doi. 10.1142/S0218126625503232

By:

Mathew, Ribu;
Maila, Madhushankara;
Kulai, Trishal

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:

Cieplucha, Marek

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:

Castro Marquez, Carlos;
Strum, Marius;
Chau, Wang

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:

Lata, Kusum;
Roy, Subir

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:

Castro Márquez, Carlos;
Romero Tobar, Edgar;
Strum, Marius;
Chau, Wang

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:

Subrahmaniyan Radhakrishnan, Gurusubrahmaniyan;
Ozev, Sule

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:

Grosso, Michelangelo;
Perez Holguin, Wilson;
Ravotto, Danilo;
Sanchez, Ernesto;
Reorda, Matteo;
Tonda, Alberto;
Medina, Jaime

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:

Han, Kihyuk;
Park, Joonsung;
Lee, Jae;
Chung, Jaeyong;
Byun, Eonjo;
Woo, Cheol-Jong;
Oh, Sejang;
Abraham, Jacob

Publication type:

Article