Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

functional verification (keyword)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 2
Look more.. (1/89)
Export

export all inquiry results (2)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article

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

book article
Related publications 1
- Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
2

journal article EST / journal article 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

journal article EST / journal article ENG
Related publications 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

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

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu