Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer bugs 50 Treffer
- hardware 26 Treffer
- debugging 17 Treffer
- integrated circuit modeling 17 Treffer
- formal verification 14 Treffer
-
45 weitere Werte:
- logic gates 10 Treffer
- computational modeling 9 Treffer
- software 9 Treffer
- verification 8 Treffer
- post-silicon validation 7 Treffer
- clocks 6 Treffer
- testing 6 Treffer
- very large scale integration 6 Treffer
- circuit faults 5 Treffer
- digital circuits 5 Treffer
- hardware design languages 5 Treffer
- measurement 5 Treffer
- microprocessors 5 Treffer
- model checking 5 Treffer
- monitoring 5 Treffer
- security 5 Treffer
- simulation 5 Treffer
- tools 5 Treffer
- algorithm design and analysis 4 Treffer
- analytical models 4 Treffer
- circuit simulation 4 Treffer
- computer architecture 4 Treffer
- design automation 4 Treffer
- error correction 4 Treffer
- observability 4 Treffer
- registers 4 Treffer
- silicon 4 Treffer
- silicon debug 4 Treffer
- system-on-chip 4 Treffer
- task analysis 4 Treffer
- trace signal selection 4 Treffer
- circuit testing 3 Treffer
- complexity theory 3 Treffer
- debug 3 Treffer
- equivalence checking 3 Treffer
- error diagnosis 3 Treffer
- explosions 3 Treffer
- hardware security 3 Treffer
- ip networks 3 Treffer
- machine learning 3 Treffer
- multiplexing 3 Treffer
- runtime 3 Treffer
- satisfiability 3 Treffer
- sequential circuits 3 Treffer
- signal design 3 Treffer
67 Treffer
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 41 (2022-12-01), Heft 12, S. 5709-5721Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 42 (2023), Heft 1, S. 54-67Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 39 (2020-12-01), Heft 12, S. 5267-5280Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 38 (2019-03-01), Heft 3, S. 419-429Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 33 (2014-03-01), Heft 3, S. 451-463Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 28 (2009-10-01), Heft 10, S. 1545-1558Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 26 (2007), Heft 1, S. 152-165Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 32 (2013-08-01), Heft 8, S. 1274-1287Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 42 (2023-09-01), Heft 9, S. 3105-3117Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 42 (2023-04-01), Heft 4, S. 1365-1378Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 41 (2022-11-01), Heft 11, S. 4563-4574Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 41 (2022-12-01), Heft 12, S. 5695-5708Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 42 (2023-02-01), Heft 2, S. 672-682Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 42 (2023), Heft 1, S. 95-108Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 40 (2021-06-01), Heft 6, S. 1158-1171Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 39 (2020-11-01), Heft 11, S. 4142-4153Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 40 (2021-05-01), Heft 5, S. 985-998Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 41 (2022-03-01), Heft 3, S. 466-477Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 38 (2019-07-01), Heft 7, S. 1345-1358Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 40 (2021-11-01), Heft 11, S. 2372-2385Online academicJournalZugriff: