Works matching DE "INTEGRATED circuit verification"

Results: 96

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

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

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:

Jensen, Peter Gjøl;
Neele, Thomas

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:

Kirszenberg, Alexandre;
Martin, Antoine;
Moreau, Hugo;
Renault, Etienne

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

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

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

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

Quality Assessment of Verification Methodologies and Verification Procedures.

Published in:

Measurement Techniques, 2015, v. 58, n. 1, p. 38, doi. 10.1007/s11018-015-0660-z

By:

Yurov, L.

Publication type:

Article

PreSCAN: A Comprehensive Review of Pre-Silicon Physical Side-Channel Vulnerability Assessment Methodologies.

Published in:

Chips, 2024, v. 3, n. 4, p. 311, doi. 10.3390/chips3040016

By:

Bepary, Md Kawser;
Zhang, Tao;
Farahmandi, Farimah;
Tehranipoor, Mark

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

Preface to special issue: EXPRESS/SOS 2016 + 2017.

Published in:

2020

By:

Peters, Kirstin;
Tini, Simone

Publication type:

Editorial

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

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

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

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

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

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

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:

Sun, Haijun;
Zeng, Yongjia;
Li, Pu;
Lei, Shaochong;
Shao, Zhibiao

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:

Biamonte, Jacob;
Allen, Jeff;
Perkowski, Marek

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

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

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

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

Verification of Initialization Sequences for Sequential Circuits.

Published in:

Electronics & Electrical Engineering, 2011, n. 112, p. 61

By:

Morkunas, K.;
Seinauskas, R.

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

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:

Steen, Alexander

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

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:

Wisniewski, Remigiusz;
Bazydło, Grzegorz;
Szcześniak, Paweł;
Grobelna, Iwona;
Wojnakowski, Marcin

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:

Batsakis, Sotiris;
Tachmazidis, Ilias;
Mantle, Matthew;
Papadakis, Nikolaos;
Antoniou, Grigoris

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:

Abdollahi, Meisam;
Yeganli, Seyedeh Faegheh;
Baharloo, Mohammad;
Baniasadi, Amirali

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:

Qin, Maoyuan;
Li, Jiale;
Yan, Jiaqi;
Hao, Zishuai;
Hu, Wei;
Liu, Baolong

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:

Dranga, Diana;
Dumitrescu, Catalin

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:

Yonekura, Miki;
Nishimura, Shunji

Publication type:

Article

Design of Vector Control Strategies Based on Fuzzy Gain Scheduling PID Controllers for a Grid-Connected Wind Energy Conversion System: Hardware FPGA-in-the-Loop Verification.

Published in:

Electronics (2079-9292), 2023, v. 12, n. 6, p. 1419, doi. 10.3390/electronics12061419

By:

Hermassi, Mahdi;
Krim, Saber;
Kraiem, Youssef;
Hajjaji, Mohamed Ali;
Alshammari, Badr M.;
Alsaif, Haitham;
Alshammari, Ahmed S.;
Guesmi, Tawfik

Publication type:

Article

Automatic RTL Generation Tool of FPGAs for DNNs.

Published in:

Electronics (2079-9292), 2022, v. 11, n. 3, p. 402, doi. 10.3390/electronics11030402

By:

Jang, Seojin;
Liu, Wei;
Park, Sangun;
Cho, Yongbeom

Publication type:

Article

RISC-V Virtual Platform-Based Convolutional Neural Network Accelerator Implemented in SystemC.

Published in:

Electronics (2079-9292), 2021, v. 10, n. 13, p. 1514, doi. 10.3390/electronics10131514

By:

Lim, Seung-Ho;
Suh, WoonSik William;
Kim, Jin-Young;
Cho, Sang-Young

Publication type:

Article

FPGA-Based Solution for On-Board Verification of Hardware Modules Using HLS.

Published in:

Electronics (2079-9292), 2020, v. 9, n. 12, p. 2024, doi. 10.3390/electronics9122024

By:

Caba, Julián;
Rincón, Fernando;
Barba, Jesús;
de la Torre, José Antonio;
López, Juan Carlos

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:

Chaparro-Mesa, J. E.;
Lombana, N. B.;
León-Socha, F. A.

Publication type:

Article

VERIFICATION OF SYSTEMS WITH DEGRADATION.

Published in:

Computing & Informatics, 2012, v. 31, n. 3, p. 507

By:

Barnat, Jiří;
Černa, Ivana;
Tůmová, Jana

Publication type:

Article