Search Results - Hardware Hardware validation Functional verification Assertion checking
-
1
Authors: Mohammad Reza Heidari Iman
Resource Type: eBook.
Categories: COMPUTERS / Embedded Computer Systems
-
2
-
3
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
-
4
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General
PDF Full Text ePub Full Text -
5
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General
PDF Full Text ePub Full Text -
6
-
7
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 -
8
Authors:
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
PDF Full Text ePub Full Text -
9
Authors:
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
PDF Full Text ePub Full Text -
10
Authors:
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
PDF Full Text ePub Full Text -
11
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
-
12
Authors:
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
PDF Full Text -
13
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
-
14
Authors:
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
PDF Full Text -
15
Alternate Title: Kõrgtaseme otsustusdiagrammide kasutamine simuleerimisel põhinevas riistvara verifitseerimisel. (Estonian)
Authors: 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
-
16
Authors: 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
-
17
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
-
18
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
-
19
Authors: et al.
Source: ACM Computing Surveys; 2022 Suppl 11, Vol. 54, p1-33, 33p
Subject Terms: INTEGRATED circuit verification, DEBUGGING, ELECTRONIC systems
-
20
Authors:
Source: ACM Computing Surveys; May2024, Vol. 56 Issue 5, p1-36, 36p
Nájsť tento článok vo Web of Science
Full Text Finder