Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- uvm 14 Treffer
- functional verification 12 Treffer
- systemverilog 8 Treffer
- funkcni verifikace 7 Treffer
- company 5 Treffer
-
45 weitere Werte:
- risc-v 5 Treffer
- verification 5 Treffer
- funkcna verifikacia 3 Treffer
- verifikace 3 Treffer
- e-mail 2 Treffer
- evolutionary algorithm 2 Treffer
- fault tolerance 2 Treffer
- genetic programming 2 Treffer
- geneticke programovanie 2 Treffer
- gnss 2 Treffer
- grammatical evolution 2 Treffer
- hopfield network 2 Treffer
- neural network 2 Treffer
- neuron 2 Treffer
- neuronova siet 2 Treffer
- odolnost proti porucham 2 Treffer
- optimization problem 2 Treffer
- procesor 2 Treffer
- processor 2 Treffer
- serial communication 2 Treffer
- uart 2 Treffer
- verifikacia 2 Treffer
- vhdl 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
- evolucni algoritmy 1 Treffer
- evolucny algoritmus 1 Treffer
- evolutionary algorithms 1 Treffer
- formal verification 1 Treffer
- formalni verifikace 1 Treffer
- fpga 1 Treffer
- genetic algorithm 1 Treffer
- genetic algorithms. 1 Treffer
- geneticke algoritmy. 1 Treffer
- geneticky algoritmus 1 Treffer
- hopfieldova siet 1 Treffer
- internet 1 Treffer
- internet marketing 1 Treffer
- internetovy marketing 1 Treffer
Verlag
23 Treffer
-
2015HochschulschriftZugriff:
-
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: Economia - Commercial Bulletin, 2016-06-16, S. 2ZeitungsartikelZugriff:
-
In: Economia - Commercial Bulletin, 2016-09-06, S. 1ZeitungsartikelZugriff:
-
In: Economia - Commercial Bulletin, 2013-04-16, S. 1ZeitungsartikelZugriff:
-
In: Economia - Commercial Bulletin, 2011-08-10, S. 1ZeitungsartikelZugriff:
-
In: Economia - Commercial Bulletin, 2011-08-10, S. 1ZeitungsartikelZugriff:
-
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:
-
2020HochschulschriftZugriff:
-
2021HochschulschriftZugriff:
-
2018HochschulschriftZugriff:
-
2017HochschulschriftZugriff:
-
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:
-
2014HochschulschriftZugriff:
-
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: