Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- uvm 8 Treffer
- functional verification 7 Treffer
- funkcni verifikace 4 Treffer
- systemverilog 4 Treffer
- funkcna verifikacia 3 Treffer
-
45 weitere Werte:
- risc-v 3 Treffer
- verification 3 Treffer
- e-mail 2 Treffer
- verifikace 2 Treffer
- advertising campaign 1 Treffer
- assertions 1 Treffer
- codasip studio 1 Treffer
- commercial 1 Treffer
- coverage-driven verification 1 Treffer
- design of digital systems 1 Treffer
- elektronicka posta 1 Treffer
- e-shop 1 Treffer
- evolucny algoritmus 1 Treffer
- evolutionary algorithm 1 Treffer
- fault tolerance 1 Treffer
- formal verification 1 Treffer
- formalni verifikace 1 Treffer
- fpga 1 Treffer
- genetic algorithm 1 Treffer
- genetic programming 1 Treffer
- geneticke programovanie 1 Treffer
- geneticky algoritmus 1 Treffer
- gnss 1 Treffer
- grammatical evolution 1 Treffer
- hopfield network 1 Treffer
- hopfieldova siet 1 Treffer
- internet 1 Treffer
- internet marketing 1 Treffer
- internetovy marketing 1 Treffer
- internetovy obchod 1 Treffer
- marketing 1 Treffer
- marketing mix 1 Treffer
- marketingovy mix 1 Treffer
- neural network 1 Treffer
- neuron 1 Treffer
- neuronova siet 1 Treffer
- odolnost proti porucham 1 Treffer
- optimization problem 1 Treffer
- procesor 1 Treffer
- processor 1 Treffer
- reklama 1 Treffer
- reklamni kampan 1 Treffer
- serial communication 1 Treffer
- seriova komunikacia 1 Treffer
- social media 1 Treffer
Verlag
11 Treffer
-
In: BENEŠ, T. Prostředí pro funkční verifikaci multi-sběrnic podle UVM standardu [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2022, 2022Online HochschulschriftZugriff:
-
In: KRAJČÍR, S. Funkční verifikace robotického systému pomocí UVM [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2015, 2015Online HochschulschriftZugriff:
-
In: HORKÝ, J. Integrace formálních technik do procesu verifikace procesoru RISC-V [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020, 2020Online HochschulschriftZugriff:
-
In: TICHÝ, A. Automatizace tvorby scénářů přenositelných stimulů pomocí evolučních algoritmů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020, 2020Online HochschulschriftZugriff:
-
In: VAVRO, T. Periferie procesoru RISC-V [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2021, 2021Online HochschulschriftZugriff:
-
In: PEROUTKA, O. Verifikace digitálního obvodu Microcore GNSS Baseband [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2018, 2018Online HochschulschriftZugriff:
-
In: BADÁŇ, F. Automatizace verifikace řízené pokrytím pro procesory ASIP [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2016, 2016Online HochschulschriftZugriff:
-
In: FAJČÍK, M. Automatizace verifikace pomocí neuronových sítí [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017, 2017Online HochschulschriftZugriff:
-
In: BARDONEK, P. Specifikace scénářů portovatelných stimulů pro moduly procesoru RISC-V [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2018, 2018Online HochschulschriftZugriff:
-
2011HochschulschriftZugriff:
-
In: http://knihovna-opac.tul.cz/diplomovaPrace.php?id_dipl=33506, 2016HochschulschriftZugriff: