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/90)
Ekspordi

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

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