Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

assertion-based verification (võtmesõna)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 4
Vaata veel.. (1/44)
Ekspordi

ekspordi kõik päringu tulemused (4)
Salvesta TXT fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus EST / artikkel kogumikus ENG

ARTmine : automatic association rule mining with temporal behavior for hardware verificationHeidari Iman, Mohammad Reza; Jervan, Gert; Ghasempouri, Tara2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) : Valencia, Spain, 25-27 March 2024 : proceedings2024 / p. 1-6 : ill https://ieeexplore.ieee.org/document/10546742 https://doi.org/10.23919/DATE58400.2024.10546742 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
2

artikkel ajakirjas EST / artikkel ajakirjas ENG

An automated method for mining high-quality assertion setsHeidari Iman, Mohammad Reza; Raik, Jaan; Jenihhin, Maksim; Jervan, Gert; Ghasempouri, TaraMicroprocessors and microsystems2023 / art. 104773 https://doi.org/10.1016/j.micpro.2023.104773 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
Seotud publikatsioonid 1
- Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
3

artikkel kogumikus

Automatic high functional coverage stimuli generation for assertion-based verificationRostami, Hossein; Hosseini, Mostafa; Azarpeyvand, Ali; Heidari Iman, Mohammad Reza; Ghasempouri, TaraProceedings 2024 IEEE 30th International Symposium on On-Line Testing and Robust System Design2024 / 7 p. : ill https://doi.org/10.1109/IOLTS60994.2024.10616069 Article at Scopus Article at WOS

artikkel kogumikus
4

artikkel kogumikus

IMMizer : an innovative cost-effective method for minimizing assertion setsHeidari Iman, Mohammad Reza; Raik, Jaan; Jervan, Gert; Ghasempouri, Tara2022 25th Euromicro Conference on Digital System Design (DSD) : Maspalomas, Spain 2022 : proceedings2022 / p. 671 - 678 https://doi.org/10.1109/DSD57027.2022.00095 Article at Scopus Article at WOS

artikkel kogumikus
Seotud publikatsioonid 1
- Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks

Kirjeid leitud 4, kuvan 1 - 4

1. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
2. assertion-based verification
3. model-based verification
4. simulation-based verification
5. assertion
6. assertion candidate
7. assertion checkers
8. Assertion Minimization
9. Assertion Mining
10. assertion qualification
11. assertion sign
12. automatic assertion mining
13. Husserl on inclusion and assertion
14. Peirce on inclusion and assertion
15. Security Assertion Mining
16. sheet of assertion
17. Automata, Formal Verification
18. Automatic Security Verification
19. automatic speaker verification
20. compliance verification
21. compositional verification
22. constraint random verification
23. deductive verification
24. extra-functional verification
25. forecast verification
26. formal verification
27. functional verification
28. grid verification
29. Hardware Verification
30. model verification
31. power verification
32. program verification
33. Quantum state verification
34. reliability verification
35. RISC-V Security Verification
36. security verification
37. simple payment verification (SVP)
38. speaker verification
39. timing verification
40. validation and verification
41. verification
42. verification and validation
43. verification by model checking
44. verification methods

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu