Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 37/2024 (series)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(6/77)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
dissertation
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
Heidari Iman, Mohammad Reza
2024
https://digikogu.taltech.ee/et/Item/622f3660-e890-454d-aa85-7cc505557f77
https://doi.org/10.23658/taltech.37/2024
https://www.ester.ee/record=b5694015*est
dissertation
Related publications
5
An automated method for mining high-quality assertion sets
IMMizer : an innovative cost-effective method for minimizing assertion sets
Processor vulnerability detection with the aid of assertions : RISC-V case study
ADAssure : debugging methodology for autonomous driving control algorithms
ARTmine : automatic association rule mining with temporal behavior for hardware verification
Number of records 1, displaying
1 - 1
CV
33
1.
Aben, Hillar 1929-2024
2.
Halling, Aimar 1930-2024
3.
Isotamm, Ain 1942-2024
4.
Jürves, Erik 1945-2024
5.
Karu, Jaan 1945-2024
6.
Kask, Rein 1938-2024
7.
Kiris, Advig 1935-2024
8.
Kirs, Jüri 1941-2024
9.
Kitvel, Toivo 1938-2024
10.
Krikk, Mai 1946-2024
11.
Krispin, Madli 1948-2024
12.
Küttner, Rein 1940-2024
13.
Lamp, Jüri 1940-2024
14.
Lippmaa, Helle 1934-2024
15.
Lipre, Jüri 1940-2024
16.
Mens, Kaisa 1928-2024
17.
Meriste, Udo 1942-2024
18.
Metsaveer, Jaan 1933-2024
19.
Muoni, Rein 1948-2024
20.
Palm, Vello 1938-2024
21.
Raid, Riina 1940-2024
22.
Raukas, Uusi 1928-2024
23.
Saarse, Leili 1939-2024
24.
Siirde, Aino 1926-2024
25.
Sillajõe, Aadu 1939-2024
26.
Soonike, Väino 1936-2024
27.
Suurkask, Valdu 1939-2024
28.
Talkop, Adolf 1945-2024
29.
Teedumäe, Aada 1936-2024
30.
Tiidemann, Tiit 1934-2024
31.
Türn, Leo 1932-2024
32.
Uiga, Endel 1918-2024
33.
Vambola, Linda 1925-2024
subject term
18
1.
Robotex (23 : 2024 : Tallinn)
2.
Võti Tulevikku, karjäärimess (2024 : Tallinn)
3.
Department of Marine Systems of Tallinn University of Technology (TalTech)
4.
Aasta õpetaja, 2024
5.
BuildIT (10 : 2024)
6.
BuildIT (2024)
7.
FutureLaw, 2024
8.
Labürindijooks (2024)
9.
MarineHäkk (2024)
10.
Põhja-Balti olümpiaad, 2024
11.
TalTech GameCamp Lite, 2024
12.
Teadlaste Öö (2024)
13.
Õiglase Ülemineku Foorum, 2024
14.
2024
15.
Tallinna Tehnikainstituut vt ka Tallinna Tehnikaülikool
16.
Tallinna Tehnikaülikool. Tallinna Kolledž
17.
Tallinna Tehnikaülikool. Tallinna Tähetorn
18.
Tallinna Tehnikaülikooli arengufond - <strong>kasuta Tallinna Tehnikaülikool. Arengufond</strong>
name of the person
12
1.
Aben, Hillar, 1929-2024
2.
Jenei, György, 1942-2024
3.
Kuum, Leev, 1930-2024
4.
Küttner, Rein, 1940-2024
5.
Metsaveer, Jaan, 1933-2024
6.
Palu, Uno, 1933-2024
7.
Saarse, Leili, 1939-2024
8.
Suurkask, Valdu, 1939-2024
9.
Vainikko, Gennadi, 1938-2024
10.
Valton, Arvo, 1935–2024
11.
Volke, Igor, 1950–2024
12.
Väljas, Vaino, 1931-2024
TalTech subject term
6
1.
ESN Tallinn University of Technology International Club
2.
Digiehituse tulevikutegija (2024)
3.
Innovatsioonifestival (2024)
4.
Labürindijooks (2024)
5.
Rööpameister 2024
6.
Tuleviku Loojate projekt, 2024
author
5
1.
Tallinna Tehnikaülikooli üliõpilasesindus = Student Council of Tallinn University of Technology
2.
Department of Software Science, Tallinn University of Technology
3.
Tallinn University of Technology
4.
Tallinn University of Technology, Department of Electrical Engineering
5.
Tallinn University of Technology, School of Economics and Business Administration
keyword
3
1.
Tallinn University of Technology
2.
Tallinn University of Technology Library
3.
Interleukin-37
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT