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
Viilukas, Taavi (author)
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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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 publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
16
Look more..
(3/91)
Export
export all inquiry results
(16)
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
journal article
An approach for verification assertions reuse 2 in RTL test pattern generation
Jenihhin, Maksim
;
Raik, Jaan
;
Ubar, Raimund-Johannes
;
Viilukas, Taavi
;
Fujiwara, Hideo
Journal of Shanghai Normal University : Natural Sciences
2010
/
p. 441-447 : ill
https://www.researchgate.net/publication/240613999_An_Approach_for_Verification_Assertions_Reuse_in_RTL_Test_Pattern_Generation
journal article
2
book article
An approach for verification assertions reuse in RTL test pattern generation
Jenihhin, Maksim
;
Raik, Jaan
;
Fujiwara, Hideo
;
Ubar, Raimund-Johannes
;
Viilukas, Taavi
Digest of papers : IEEE 11th Workshop on RTL and High Level Testing : WRTLT'10 : December 5-6, 2010, Shanghai, China
2010
/
p. 107-110 : ill
book article
3
book article
Approaches to improve hierarchical ATPG for synchronous sequential circuits
Viilukas, Taavi
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kuuenda aastakonverentsi artiklite kogumik : 3.-5. oktoobril 2012, Laulasmaa
2012
/
p. 105-108 : ill
book article
4
book article
Automated test bench generation for high-level synthesis flow ABELITE
Viilukas, Taavi
;
Jenihhin, Maksim
;
Raik, Jaan
;
Ubar, Raimund-Johannes
;
Baranov, Samary
Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2011) : Sevastopol, Ukraine, September 9-12, 2011
2011
/
p. 13-16 : ill
https://ieeexplore.ieee.org/document/6116601
book article
5
book article
Automated test pattern generator with constraint solver
Viilukas, Taavi
;
Raik, Jaan
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis
2010
/
lk. 33-36
book article
6
book article
Automatic generation of EFSMs and HLDDs for functional ATPG
Tšepurov, Anton
;
Guglielmo, Giuseppe di
;
Raik, Jaan
;
Ubar, Raimund-Johannes
;
Viilukas, Taavi
BEC 2008 : 2008 International Biennial Baltic Electronics Conference : proceedings of the 11th Biennial Baltic Electronics Conference : Tallinn University of Technology : October 6-8, 2008, Tallinn, Estonia
2008
/
p. 143-146 : ill
book article
7
book article
Constraint-based hierarchical untestability identification for synchronous sequential circuits
Raik, Jaan
;
Rannaste, Anna
;
Jenihhin, Maksim
;
Viilukas, Taavi
;
Ubar, Raimund-Johannes
;
Fujiwara, Hideo
Sixteenth IEEE European Test Symposium : 23-27 May 2011, Trondheim
2011
/
p. 147-152
book article
8
book article
Constraint-based hierarchical untestability identification for syncronous sequential circuits
Viilukas, Taavi
;
Raik, Jaan
;
Ubar, Raimund-Johannes
;
Rannaste, Anna
;
Jenihhin, Maksim
;
Fujiwara, Hideo
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK viienda aastakonverentsi artiklite kogumik : 25.-26. novembril 2011, Nelijärve
2011
/
p. 139-142 : ill
book article
9
book article
Constraint-based test pattern generation at the register-transfer level
Viilukas, Taavi
;
Raik, Jaan
;
Jenihhin, Maksim
;
Ubar, Raimund-Johannes
;
Krivenko, Anna
Proceedings of the 13th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems : April 14-16, 2010, Vienna, Austria
2010
/
p. 352-357 : ill
http://dx.doi.org/10.1109/DDECS.2010.5491752
book article
10
dissertation
Constraints solving based hierarchical test generation for synchronous sequential circuits = Kitsenduste lahendamisel baseeruv hierarhiline testigenereerimine sünkroonsetele järjestikskeemidele
Viilukas, Taavi
2012
https://www.ester.ee/record=b2888278*est
dissertation
11
book article
Generating directed tests for C programs using RTL ATPG
Raik, Jaan
;
Drenkhan, Tiia
;
Jenihhin, Maksim
;
Viilukas, Taavi
;
Karputkin, Anton
;
Tšepurov, Anton
;
Ubar, Raimund-Johannes
Proceedings of the IEEE 13th Workshop on RTL and High Level Testing (WRTLT'12)
2012
/
p. 1-6
book article
12
book article
High-level decision diagram based fault models for targeting FSMs
Raik, Jaan
;
Ubar, Raimund-Johannes
;
Viilukas, Taavi
9th EUROMICRO Conference on Digital Systems Design : Architectures, Methods and Tools (DSD 2006) : 30 August 2006-1 September 2006, Cavtat near Dubrovnik, Croatia : proceedings
2006
/
p. 353-358 : ill
http://dx.doi.org/10.1109/DSD.2006.60
book article
13
journal article
Identifying untestable faults in sequential circuits using test path constraints
Viilukas, Taavi
;
Karputkin, Anton
;
Raik, Jaan
;
Jenihhin, Maksim
;
Ubar, Raimund-Johannes
;
Fujiwara, Hideo
Journal of electronic testing : theory and applications (JETTA)
2012
/
p. 511-521 : ill
journal article
14
journal article
Mixed hierarchical-functional fault models for targeting sequential cores
Raik, Jaan
;
Ubar, Raimund-Johannes
;
Viilukas, Taavi
;
Jenihhin, Maksim
Journal of systems architecture
2008
/
3/4, p. 465-477 : ill
https://www.sciencedirect.com/science/article/abs/pii/S1383762107001166
journal article
15
book article
Using constraint solver in Test Pattern Generation Tool
Viilukas, Taavi
;
Raik, Jaan
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja
2008
/
p. 14-17 : ill
book article
16
book article
Using test pattern generation tool decider in hardware verification
Viilukas, Taavi
;
Raik, Jaan
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum
2007
/
lk. 166-169 : ill
book article
Number of records 16, displaying
1 - 16
author
54
1.
Viilukas, Taavi
2.
Alas, Taavi
3.
Dettenborn, Taavi
4.
Ellat, Taavi
5.
Eomäe, Taavi
6.
Israelian, Taavi-David
7.
Jakobson, Taavi
8.
Kann, Taavi
9.
Kelder, Taavi
10.
Kotka, Taavi
11.
Kuusk, Taavi
12.
Küttis, Taavi
13.
Laadung, Taavi
14.
Leppiman, Taavi
15.
Liblik, Taavi
16.
Limperk, Taavi
17.
Linnamäe, Taavi
18.
Loog, Taavi
19.
Lüütsepp, Taavi
20.
Minnik, Taavi
21.
Möller, Taavi
22.
Ojala, Taavi
23.
Olli, Taavi
24.
Pae, Taavi
25.
Pahapill, Taavi
26.
Pukk, Taavi
27.
Päll, Taavi
28.
Pärt, Taavi
29.
Raadik, Taavi
30.
Reinson, Taavi
31.
Repän, Taavi
32.
Sallaste, Taavi
33.
Salumäe, Taavi
34.
Seim, Taavi
35.
Sepp, Taavi
36.
Simson, Taavi
37.
Suurkivi, Taavi
38.
Takkis, Taavi
39.
Tamm, Taavi
40.
Tamula, Taavi
41.
Tara, Taavi
42.
Taros, Taavi
43.
Tenno, Taavi
44.
Tikk, Taavi
45.
Toos, Taavi
46.
Tuisk, Taavi
47.
Tõnts, Taavi
48.
Türner, Taavi
49.
Unt, Taavi
50.
Vaasma, Taavi
51.
Vaikjärv, Taavi
52.
Valdlo, Taavi
53.
Vanaveski, Taavi
54.
Veskimägi, Taavi
name of the person
25
1.
Viilukas, Taavi
2.
Aas, Taavi
3.
Aher, Taavi
4.
Ellermaa, Taavi
5.
Gröön, Taavi
6.
Ilu, Taavi
7.
Israeljan, Taavi-David
8.
Kippak, Taavi
9.
Kotka, Taavi, 1979-
10.
Laadung, Taavi
11.
Liblik, Taavi
12.
Madiberk, Taavi
13.
Merisalu, Taavi
14.
Möller, Taavi
15.
Nõmm, Taavi
16.
Päll, Taavi
17.
Raadik, Taavi
18.
Rõivas, Taavi, 1979-
19.
Salumäe, Taavi
20.
Simson, Taavi, 1989-
21.
Taavi, Tamm
22.
Tamm, Taavi
23.
Tarien, Taavi
24.
Valgerist, Taavi
25.
Veskimägi, Taavi
CV
12
1.
Viilukas, Taavi
2.
Laadung, Taavi 1990
3.
Liblik, Taavi 1981
4.
Möller, Taavi 1978
5.
Päll, Taavi 1974
6.
Raadik, Taavi 1983
7.
Sallaste, Taavi 1978
8.
Salumäe, Taavi 1986
9.
Simson, Taavi 1989
10.
Tamm, Taavi 1978
11.
Tõnts, Taavi 1975
12.
Ugam, Taavi 1974
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT