Otsing - TalTech teadusportaal

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

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

functional verification (võtmesõna)

—

—

Lisa tingimus Lihtotsing 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 2
Vaata veel.. (1/92)
Ekspordi

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

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

Towards multidimensional verification : where functional meets non-functionalJenihhin, Maksim; Lai, Xinhui; Ghasempouri, Tara; Raik, Jaan2018 IEEE Nordic Circuits and Systems Conference (NORCAS) : NORCHIP and International Symposium of System-on-Chip (SoC) : 30-31 October 2018, Tallinn, Estonia : proceedings in IEEE Xplore2018 / 7 p. : ill https://doi.org/10.1109/NORCHIP.2018.8573495

artikkel kogumikus
Seotud publikatsioonid 1
- Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
2

artikkel ajakirjas EST / artikkel ajakirjas ENG

Understanding multidimensional verification : where functional meets non-functionalLai, Xinhui; Balakrishnan, Aneesh; Lange, Thomas; Jenihhin, Maksim; Ghasempouri, Tara; Raik, Jaan; Alexandrescu, DanMicroprocessors and microsystems2019 / art. 102867, 13 p. : ill https://doi.org/10.1016/j.micpro.2019.102867 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
Seotud publikatsioonid 2
- A synthetic, hierarchical approach for modelling and managing complex systems' quality and reliability = Sünteetiline, hierarhiline lähenemine keerukate süsteemide kvaliteedi ja töökindluse modelleerimiseks ja haldamiseks
- Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid

Kirjeid leitud 2, kuvan 1 - 2

1. extra-functional verification
2. functional verification
3. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
4. assertion-based verification
5. Automata, Formal Verification
6. Automatic Security Verification
7. automatic speaker verification
8. compliance verification
9. compositional verification
10. constraint random verification
11. deductive verification
12. forecast verification
13. formal verification
14. grid verification
15. Hardware Verification
16. model verification
17. model-based verification
18. power verification
19. program verification
20. Quantum state verification
21. reliability verification
22. RISC-V Security Verification
23. security verification
24. simple payment verification (SVP)
25. simulation-based verification
26. speaker verification
27. timing verification
28. validation and verification
29. verification
30. verification and validation
31. verification by model checking
32. verification methods
33. cross-functional teams
34. density functional calculations
35. density functional theory
36. density functional theory (DFT)
37. FIM (functional independence measure)
38. FIM + FAM (functional assessment measure)
39. functional diversity
40. functional approximation
41. functional biomaterials
42. functional BIST
43. functional capacity of cooperation
44. functional capacity of integration
45. functional complexes
46. functional components
47. functional connectivity
48. functional data analysis
49. functional derating
50. functional de-rating
51. functional dispersion
52. functional diversity
53. functional equivalence principle
54. Functional Failure Rate (FFR)
55. functional fault model
56. functional food
57. functional food ingredients
58. functional gene analysis
59. functional groups
60. functional institutional analysis
61. functional ionic liquids
62. functional iteration
63. functional material
64. functional materials
65. functional models
66. functional morphology
67. functional polymer
68. functional power plants
69. functional power-plants
70. functional prediction
71. functional profiling
72. functional properties
73. functional reactive programming
74. functional recovery
75. functional requirements
76. functional safety
77. functional self-test
78. functional smoothie
79. Functional specialist in AI for public services
80. functional state of the muscles -tiredness
81. functional stress programs
82. functional test generation
83. functional trait diversity
84. functional-safety
85. high-level functional fault model
86. hybrid functional
87. mathematical structures in functional programming
88. non-robust and functional sensitization
89. non-robust and functional sensitization of delay faults
90. plant-functional types
91. size of functional groups
92. time-dependent density functional theory (TD-DFT)

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