Search Results - Hardware Hardware validation Functional verification Assertion checking

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

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

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

Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Authors: Heike Wehrheim Jordi Cabot

Resource Type: eBook.

Subjects: Software engineering--Congresses

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

SystemVerilog Assertions and Functional Coverage : Guide to Language, Methodology and Applications

Authors: Ashok B. Mehta

Resource Type: eBook.

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

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

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

Authors: Jan Friso Groote Kim Guldstrand Larsen

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Hardware / General

Application of high-level decision diagrams for simulation-based verification tasks.

Alternate Title: Kõrgtaseme otsustusdiagrammide kasutamine simuleerimisel põhinevas riistvara verifitseerimisel. (Estonian)

Authors: Jenihhin, Maksim Raik, Jaan Chepurov, Anton et al.

Source: Estonian Journal of Engineering; Mar2010, Vol. 16 Issue 1, p56-77, 22p, 8 Diagrams, 1 Chart, 3 Graphs

Subject Terms: LANGUAGE & languages, COMPUTER input-output equipment, DYNAMICS, DEBUGGING, MATHEMATICAL functions

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

Composants abstraits pour la vérification fonctionnelle des systèmes sur puce

high-level component-based models for functional verificationof systems-on-a-chip

Authors: Romenska, Yuliia

Thesis Advisors: Grenoble Alpes, Maraninchi, Florence

Subject Terms: Systèmes sur Puce (SoCs), Vérification Basée sur Assertions (ABV), Modélisation au Niveau Transactionnel (TLM), Contracts et Spécifications, Simulation Précoce, Stubbing, System-On-A-Chip (SoCs), Assertion-Based Verification (ABV), Transaction Level Modeling (TLM), Contracts and Specifications, Early Simulation, 004

Availability: http://www.theses.fr/2017GREAM019/document

SystemVerilog Assertions and Functional Coverage : Guide to Language, Methodology and Applications

Authors: Ashok B. Mehta

Resource Type: eBook.

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

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

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