Search Results - Hardware Hardware validation Functional verification Assertion checking*

Assertion-Based Verification of I2C Module Using SystemVerilog.

Authors: Moon, Dae-Won Pyo, Seung-Hyun Hong, Dae-Ki et al.

Source: Electronics (2079-9292); Apr2025, Vol. 14 Issue 8, p1687, 32p

Subject Terms: FACE-to-face communication, OBJECT-oriented programming, SEMICONDUCTORS, SYNTAX (Grammar), HARDWARE

A Survey on Assertion-based Hardware Verification.

Authors: WITHARANA, HASINI YANGDI LYU CHARLES, SUBODHA et al.

Source: ACM Computing Surveys; 2022 Suppl 11, Vol. 54, p1-33, 33p

Subject Terms: INTEGRATED circuit verification, DEBUGGING, ELECTRONIC systems

Directed Test Generation for Hardware Validation: A Survey.

Authors: Jayasena, Aruna Mishra, Prabhat

Source: ACM Computing Surveys; May2024, Vol. 56 Issue 5, p1-36, 36p

Subject Terms: GRAPH neural networks, COMPUTER hardware description languages, SINGLE event effects, SYMMETRIC-key algorithms, PUBLIC key cryptography, DEBUGGING

Generative AI Assertions in UVM-Based System Verilog Functional Verification.

Authors: Radu, Valentin Dranga, Diana Dumitrescu, Catalin et al.

Source: Systems; Oct2024, Vol. 12 Issue 10, p390, 15p

Subject Terms: GENERATIVE artificial intelligence, LANGUAGE models, ARTIFICIAL intelligence, CHATGPT, PLAYGROUNDS

Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms

Authors: Mohammad Reza Heidari Iman

Resource Type: eBook.

Subjects: Electronic circuit design, Embedded computer systems, Electronics

Categories: COMPUTERS / Embedded Computer Systems

SCALING SYMBOLIC EXECUTION FOR EFFICIENT SECURITY VERIFICATION OF HARDWARE

Authors: Ryan, Kaki

Functional Verification of Large-integers Circuits using a Cosimulation-based Approach.

Authors: Alimi, Nejmeddine Lahbib, Younes Machhout, Mohsen et al.

Source: International Journal of Electrical & Computer Engineering (2088-8708); Aug2017, Vol. 7 Issue 4, p2192-2205, 14p

Subject Terms: CRYPTOGRAPHY, RATIONAL numbers, COMPUTER hardware description languages, COMPUTATIONAL fluid dynamics, NUMERICAL solutions to functional equations

Reviews & Products: MATLAB (Computer software)

A Universal-Verification-Methodology-Based Testbench for the Coverage-Driven Functional Verification of an Instruction Cache Controller.

Authors: Liu, Cong Xu, Xinyu Chen, Zhenjiao et al.

Source: Electronics (2079-9292); Sep2023, Vol. 12 Issue 18, p3821, 13p

Subject Terms: ELECTRONIC design automation, PYTHON programming language, COMPUTER architecture, UNIVERSAL language

Coverage Fulfillment Automation in Hardware Functional Verification Using Genetic Algorithms.

Authors: Danciu, Gabriel Mihail Dinu, Alexandru

Source: Applied Sciences (2076-3417); Feb2022, Vol. 12 Issue 3, p1559, 23p

Subject Terms: INTEGRATED circuit verification, GENETIC algorithms, INTEGRATED circuits manufacturing

Conclusive formal verification of clock domain crossing properties

Vérification formelle concluante des propriétés des systèmes multi-horloges

Authors: Plassan, Guillaume

Thesis Advisors: Grenoble Alpes, Borrione, Dominique, Morin-Allory, Katell

Subject Terms: Méthodes formelles, Systèmes multi-Horloges, Système sur puce, Vérification de modèles, Validation functionnelle, Formal methods, Clock domain crossing, System on Chip, Model checking, Hardware verification, 004

Availability: http://www.theses.fr/2018GREAT021/document

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

Authors: Sharon Shoham Yakir Vizel

Resource Type: eBook.

Subjects: Computer software--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III

Authors: Constantin Enea Akash Lal

Resource Type: eBook.

Subjects: Artificial intelligence, Computer software--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Authors: Shuvendu K. Lahiri Chao Wang

Resource Type: eBook.

Subjects: Computer software--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Hardware / General

Hardware Verification: Techniques, Methodology and Solutions

Authors: Sharad Malik

Source: Lecture Notes in Computer Science ISBN: 9783540787990

Access URL: https://link.springer.com/content/pdf/10.1007%2F978-3-540-78800-3_1.pdf
https://dblp.uni-trier.de/db/conf/tacas/tacas2008.html#Malik08
https://link.springer.com/content/pdf/10.1007%2F978-3-540-78800-3_1.pdf
https://link.springer.com/chapter/10.1007/978-3-540-78800-3_1
https://rd.springer.com/chapter/10.1007/978-3-540-78800-3_1

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Authors: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Authors: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Subjects: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Design and Verification of Low Latency AMBA AXI4 and ACE Protocol for On-Chip Peripheral Communication.

Authors: Sivaranjani, P. Sasikala, S. Lavanya, A. et al.

Source: Wireless Personal Communications; Jun2024, Vol. 136 Issue 3, p1811-1824, 14p

Subject Terms: INTEGRATED circuits, ELECTRONIC design automation, LANGUAGE ability testing, ELECTRONIC funds transfers, CACHE memory, SYSTEMS on a chip

System Verilog Assertions and Functional Coverage

Authors: Ashok B. Mehta

Resource Type: eBook.

Subjects: Integrated circuits--Verification, Electronic digital computers--Design and construction, Verilog (Computer hardware description language), Electronics, Microelectronics

Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Computer Architecture, TECHNOLOGY & ENGINEERING / Electronics / General

Automatic UVM Environment Generation for Assertion-Based and Functional Verification of SystemC Designs.

Authors: Mefenza, Michael Yonga, Franck Bobda, Christophe

Source: 2014 15th International Microprocessor Test & Verification Workshop; 2014, p16-21, 6p