Search Results - "Integrated circuit verification"

SoC verification methodology of minimal OpenRISC.

Authors: Arunraja, A. Kishorekumar, R. Chandan, H. P. et al.

Source: AIP Conference Proceedings. 2026, Vol. 3427 Issue 1, p1-11. 11p.

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

Authors: Li, Shuo Duan, Na Pei, Hailong

Source: Asian Journal of Control. Jul2025, Vol. 27 Issue 4, p1950-1963. 14p.

Subjects: Integrated circuit verification, Drone aircraft

Near-Field Microwave Sensing for Chip-Level Tamper Detection.

Authors: Saadat Safa, Maryam Tajik, Shahin

Source: Sensors (14248220). Jul2025, Vol. 25 Issue 13, p4188. 20p.

Enhanced Self-Test and Fault Localization in VLSI Circuit Using a 32-bit LFSR.

Authors: Saradhi, Pardha Serina, M. Tiny Sravya, K. Sai et al.

Source: International Scientific Journal of Engineering & Management. Apr2025, Vol. 4 Issue 4, p1-6. 6p.

OpenPCIe: An Open-Source PCIe Controller.

Authors: Idris, Somoye Jovel, David Mannan, Lamia

Source: Applied Sciences (2076-3417); Apr2026, Vol. 16 Issue 7, p3409, 19p

A Whale Optimization-Based Dynamic Compression ATPG Algorithm for Computer Interlocking Equipment Testing.

Authors: Yu, Zhiyang Jiang, Lanxuan Wu, Tianze et al.

Source: Applied Sciences (2076-3417); Mar2026, Vol. 16 Issue 5, p2361, 20p

Power quality enhancement in single phase two level/five level converters using adaptive-RBFNN algorithm.

Authors: Mittal, Sudhanshu Singh, Alka Chittora, Prakash

Source: Electrical Engineering. Dec2024, Vol. 106 Issue 6, p7565-7578. 14p.

Subjects: Radial basis functions, Integrated circuit verification, Electric power filters, Algorithms, Voltage

Bridging hardware and software analysis with Btor2C: a word-level-circuit-to-C translator.

Authors: Ates, Salih Beyer, Dirk Chien, Po-Chun et al.

Source: International Journal on Software Tools for Technology Transfer. Apr2026, p1-19. 19p.

An Automation Technique for the Verification of HDL Implementation of Cryptographic Algorithm.

Authors: Kumar, Girish Sharma, Anand

Source: Defence Science Journal; Jan2026, Vol. 76 Issue 1, p66-71, 6p

GMM-Based Speaker Verification System with Hardware MFCC in SoC Design.

Authors: Tsai, Tsung-Han Wang, Chiao-Li

Source: Multimedia Tools & Applications. Jun2024, Vol. 83 Issue 19, p56991-57010. 20p.

Subjects: Taiwan Semiconductor Manufacturing Co. Ltd., Integrated circuit verification, Gaussian mixture models, Systems on a chip, Markov processes, Feature extraction

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

Authors: Mathew, Ribu Maila, Madhushankara Kulai, Trishal

Source: Journal of Circuits, Systems & Computers. 8/1/2025, Vol. 34 Issue 12, p1-13. 13p.

Subjects: Flow control (Data transmission systems), Integrated circuit verification, Data structures, First in, first out (Queuing theory), Statistical smoothing

Design and Implementation of an AES Hardware Encryption Core.

Authors: Kumar, Aayush Mehfuz, Shabana Urooj, Shabana

Source: Symmetry (20738994). Jun2026, Vol. 18 Issue 6, p897. 22p.

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

Authors: Ji, Ming Guo, Yiming Pei, Yuhui et al.

Source: Coatings (2079-6412); May2025, Vol. 15 Issue 5, p551, 15p

Principle and Verification of D-Latch Circuit Using Photoelectric-Motivated Memristor for Shift Register Design.

Authors: Bo, Han Kuang, Jingchuan Xia, Haihui et al.

Source: Journal of Circuits, Systems & Computers; 7/15/2026, Vol. 35 Issue 11, p1-14, 14p

A Survey on Assertion-Based Hardware Monitor Synthesis.

Authors: Alatoun, Khitam Saxena, Nikhil Alenazi, Mounifah et al.

Source: Chips; Jun2026, Vol. 5 Issue 2, p12, 18p

电子设备硬件测试存在的问题及对策. (Chinese)

Authors: 宋晓钟 宋孟思

Source: Smart Rail Transit; May2026, Vol. 63 Issue 3, p89-93, 5p

Simplified circuit model of novel bypass diode based PV array for circulating current and power loss minimization under partial shading.

Authors: Santra, Subhendu Bikash Mohanty, Subodh Kumar Roy Choudhury, Tanmoy

Source: COMPEL. 2025, Vol. 44 Issue 1, p1-18. 18p.

Subjects: Integrated circuit verification, Diodes, Honeycomb structures, Power plants

An identical bipolar buck‐boost AC‐AC converter based on a coupled‐inductor with safe‐commutation, high gain, and high efficiency.

Authors: Ahmed, Hafiz Furqan Lahooti Eshkevari, Alireza Abdoli, Iman

Source: IET Power Electronics (Wiley-Blackwell). Dec2024, Vol. 17 Issue 16, p3005-3016. 12p.

Subjects: Magnetic coupling, Integrated circuit verification, Voltage, Topology

On enumerating short projected models.

Authors: Möhle, Sibylle Sebastiani, Roberto Biere, Armin

Source: Discrete Applied Mathematics. Jan2025, Vol. 361, p412-439. 28p.

Subjects: Integrated circuit verification, Systems engineering, Proposition (Logic), Calculus, Algorithms

Simpson's rule based accurate mathematical modelling of photovoltaic cell using multi-objective genetic algorithm for hardware verification.

Authors: IssanRaj, R. Visalakshi, S.

Source: Journal of Intelligent & Fuzzy Systems. 2022, Vol. 43 Issue 4, p4629-4643. 15p.

Subjects: Photovoltaic cells, Integrated circuit verification, Mathematical models, Solar cells, Hardware stores, Genetic algorithms, Diodes, Painlevé equations