Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- intelligent verification 29 Treffer
- business 28 Treffer
- business.industry 28 Treffer
- functional verification 26 Treffer
- embedded system 24 Treffer
-
45 weitere Werte:
- universal verification methodology 24 Treffer
- verification 20 Treffer
- software verification 17 Treffer
- computer 15 Treffer
- computer.programming_language 12 Treffer
- hardware_register-transfer-levelimplementation 12 Treffer
- physical verification 8 Treffer
- runtime verification 7 Treffer
- 02 engineering and technology 6 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 6 Treffer
- computer architecture 6 Treffer
- system on a chip 5 Treffer
- systemc 5 Treffer
- component (uml) 4 Treffer
- computer hardware 4 Treffer
- computer.software_genre 4 Treffer
- field-programmable gate array 4 Treffer
- law 4 Treffer
- law.invention 4 Treffer
- mixed-signal integrated circuit 4 Treffer
- systemverilog 4 Treffer
- verilog 4 Treffer
- 020201 artificial intelligence & image processing 3 Treffer
- 020202 computer hardware & architecture 3 Treffer
- abstraction (linguistics) 3 Treffer
- chip 3 Treffer
- integrated circuit design 3 Treffer
- programming language 3 Treffer
- test bench 3 Treffer
- assertion 2 Treffer
- computer engineering 2 Treffer
- de facto standard 2 Treffer
- debugging 2 Treffer
- electrical and electronic engineering 2 Treffer
- electronic system-level design and verification 2 Treffer
- hardware and architecture 2 Treffer
- hardware_performanceandreliability 2 Treffer
- integrated circuit 2 Treffer
- interface (computing) 2 Treffer
- media_common 2 Treffer
- media_common.quotation_subject 2 Treffer
- protocol (object-oriented programming) 2 Treffer
- reference model 2 Treffer
- simulation 2 Treffer
- software engineering 2 Treffer
Verlag
Publikation
- 2015 ieee 11th international conference on asic (asicon) 2 Treffer
- 2015 ieee 18th international symposium on design and diagnostics of electronic circuits & systems 2 Treffer
- 2011 ieee international high level design validation and test workshop 1 Treffer
- 2011 international soc design conference 1 Treffer
- 2011 international symposium on electronic system design 1 Treffer
-
20 weitere Werte:
- 2013 international symposium on system on chip (soc) 1 Treffer
- 2014 12th ieee international conference on solid-state and integrated circuit technology (icsict) 1 Treffer
- 2014 15th latin american test workshop - latw 1 Treffer
- 2014 19th asia and south pacific design automation conference (asp-dac) 1 Treffer
- 2014 9th international design and test symposium (idt) 1 Treffer
- 2015 23nd signal processing and communications applications conference (siu) 1 Treffer
- 2015 china semiconductor technology international conference 1 Treffer
- 2015 international conference on advances in computer engineering and applications 1 Treffer
- 2015 international conference on control communication & computing india (iccc) 1 Treffer
- 2016 ieee international conference on recent trends in electronics, information & communication technology (rteict) 1 Treffer
- 2016 international conference on inventive computation technologies (icict) 1 Treffer
- 2016 international conference on vlsi systems, architectures, technology and applications (vlsi-sata) 1 Treffer
- 2016 international semiconductor conference (cas) 1 Treffer
- 2017 11th international conference on intelligent systems and control (isco) 1 Treffer
- applied mechanics and materials 1 Treffer
- ifac-papersonline 1 Treffer
- journal of instrumentation 1 Treffer
- proceedings of the 21st european conference on pattern languages of programs 1 Treffer
- proceedings of the eighth ieee/acm/ifip international conference on hardware/software codesign and system synthesis 1 Treffer
- vlsi design 1 Treffer
Sprache
35 Treffer
-
In: Applied Mechanics and Materials, 2014-10-01, S. 1441-1446Online unknownZugriff:
-
In: 2017 11th International Conference on Intelligent Systems and Control (ISCO), 2017Online unknownZugriff:
-
In: 2016 International Semiconductor Conference (CAS), 2016-10-01Online unknownZugriff:
-
In: 2016 IEEE International Conference on Recent Trends in Electronics, Information & Communication Technology (RTEICT), 2016-05-01Online unknownZugriff:
-
In: 2015 IEEE 11th International Conference on ASIC (ASICON), 2015-11-01Online unknownZugriff:
-
In: 2015 IEEE 11th International Conference on ASIC (ASICON), 2015-11-01Online unknownZugriff:
-
In: 2015 International Conference on Advances in Computer Engineering and Applications, 2015-03-01Online unknownZugriff:
-
In: 2014 15th International Microprocessor Test and Verification Workshop, 2014-12-01Online unknownZugriff:
-
In: 2014 9th International Design and Test Symposium (IDT), 2014-12-01Online unknownZugriff:
-
In: 2014 12th IEEE International Conference on Solid-State and Integrated Circuit Technology (ICSICT), 2014-10-01Online unknownZugriff:
-
In: 2014 Argentine Conference on Micro-Nanoelectronics, Technology and Applications (EAMTA), 2014-07-01Online unknownZugriff:
-
In: 2015 23nd Signal Processing and Communications Applications Conference (SIU), 2015-05-01Online unknownZugriff:
-
In: 2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2015-04-01Online unknownZugriff:
-
In: 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC), 2014Online unknownZugriff:
-
In: 2011 International SoC Design Conference, 2011-11-01Online unknownZugriff:
-
In: IFAC-PapersOnLine, Jg. 48 (2015), S. 186-192Online unknownZugriff:
-
In: Proceedings of the 21st European Conference on Pattern Languages of Programs, 2016-07-06Online unknownZugriff:
-
In: Journal of Instrumentation, Jg. 12 (2017-01-02), S. C01001Online unknownZugriff: