Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Die Autoren legen den Schwerpunkt auf automatisierte formale Verifikationsmethoden sowie auf fortgeschrittene, abdeckungsgeleitete Analyse- und Testtechniken, die auf SystemC-basierte VP und die zugehörige Software (SW) zugeschnitten sind.
Bemærk: Kan ikke leveres før jul.
Dieses Buch beschreibt eine neue, grobkörnige rekonfigurierbare Architektur (CGRA), genannt Blocks, und stellt sie in den Kontext von Computerarchitekturen und insbesondere von anderen CGRAs.
Bemærk: Kan ikke leveres før jul.
Dabei werden „Verwandtschaften“ und Einsatzgebiete der verschiedenen Verfahren deutlich herausgestellt und abgegrenzt. Darüber hinaus werden auch numerische Verfahren berücksichtigt und es wird dargestellt, wie Schaltungssimulatoren funktionieren.