Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Viilukas, Taavi (autor)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
16
Vaata veel..
(3/94)
Ekspordi
ekspordi kõik päringu tulemused
(16)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas
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
artikkel ajakirjas
2
artikkel kogumikus
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
artikkel kogumikus
3
artikkel kogumikus
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
artikkel kogumikus
4
artikkel kogumikus
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
artikkel kogumikus
5
artikkel kogumikus
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
artikkel kogumikus
6
artikkel kogumikus
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
artikkel kogumikus
7
artikkel kogumikus
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
artikkel kogumikus
8
artikkel kogumikus
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
artikkel kogumikus
9
artikkel kogumikus
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
artikkel kogumikus
10
dissertatsioon
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
dissertatsioon
11
artikkel kogumikus
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
artikkel kogumikus
12
artikkel kogumikus
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
artikkel kogumikus
13
artikkel ajakirjas
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
artikkel ajakirjas
14
artikkel ajakirjas
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
artikkel ajakirjas
15
artikkel kogumikus
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
artikkel kogumikus
16
artikkel kogumikus
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
artikkel kogumikus
Kirjeid leitud 16, kuvan
1 - 16
autor
55
1.
Viilukas, Taavi
2.
Alas, Taavi
3.
Dettenborn, Taavi
4.
Ellat, Taavi
5.
Eomäe, Taavi
6.
Ilves, Taavi
7.
Israelian, Taavi-David
8.
Jakobson, Taavi
9.
Kann, Taavi
10.
Kelder, Taavi
11.
Kotka, Taavi
12.
Kuusk, Taavi
13.
Küttis, Taavi
14.
Laadung, Taavi
15.
Leppiman, Taavi
16.
Liblik, Taavi
17.
Limperk, Taavi
18.
Linnamäe, Taavi
19.
Loog, Taavi
20.
Lüütsepp, Taavi
21.
Minnik, Taavi
22.
Möller, Taavi
23.
Ojala, Taavi
24.
Olli, Taavi
25.
Pae, Taavi
26.
Pahapill, Taavi
27.
Pukk, Taavi
28.
Päll, Taavi
29.
Pärt, Taavi
30.
Raadik, Taavi
31.
Reinson, Taavi
32.
Repän, Taavi
33.
Sallaste, Taavi
34.
Salumäe, Taavi
35.
Seim, Taavi
36.
Sepp, Taavi
37.
Simson, Taavi
38.
Suurkivi, Taavi
39.
Takkis, Taavi
40.
Tamm, Taavi
41.
Tamula, Taavi
42.
Tara, Taavi
43.
Taros, Taavi
44.
Tenno, Taavi
45.
Tikk, Taavi
46.
Toos, Taavi
47.
Tuisk, Taavi
48.
Tõnts, Taavi
49.
Türner, Taavi
50.
Unt, Taavi
51.
Vaasma, Taavi
52.
Vaikjärv, Taavi
53.
Valdlo, Taavi
54.
Vanaveski, Taavi
55.
Veskimägi, Taavi
tema kohta
26
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.
Pung, Taavi
17.
Päll, Taavi
18.
Raadik, Taavi
19.
Rõivas, Taavi, 1979-
20.
Salumäe, Taavi
21.
Simson, Taavi, 1989-
22.
Taavi, Tamm
23.
Tamm, Taavi
24.
Tarien, Taavi
25.
Valgerist, Taavi
26.
Veskimägi, Taavi
CV
13
1.
Viilukas, Taavi 1981
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
13.
Vaikjärv, Taavi 1985
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT