Top

Design Automation for Embedded Systems

Published in:

01-12-2005

A methodology aimed at better integration of functional verification and RTL design

Authors: Karina R. G. da Silva, Elmar U. K. Melcher, Isaac Maia, Henrique do N. Cunha

Published in: Design Automation for Embedded Systems | Issue 4/2005

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

previous article Platform designer: An approach for modeling multiprocessor platforms based on SystemC

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Title: A methodology aimed at better integration of functional verification and RTL design
Authors: Karina R. G. da Silva
Elmar U. K. Melcher
Isaac Maia
Henrique do N. Cunha
Publication date: 01-12-2005
Publisher: Kluwer Academic Publishers
Published in: Design Automation for Embedded Systems / Issue 4/2005
Print ISSN: 0929-5585
Electronic ISSN: 1572-8080
DOI: https://doi.org/10.1007/s10617-006-9587-6

Springer Professional

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Other articles of this Issue 4/2005

Target software generation: an approach for automatic mapping of SystemC specifications onto real-time operating systems

RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model

Second special issue on SystemC

Platform designer: An approach for modeling multiprocessor platforms based on SystemC

Premium Partner