Correct-by-Construction Approaches for SoC Design
This book describes an approach for designing Systems-on-Chip such that the system meets precise mathematical requirements. The methodologies presented enable embedded systems designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically g...
Guardado en:
| Autor principal: | Sinha, Roopak |
|---|---|
| Otros Autores: | Roop, Parthasarathi, Basu, Samik |
| Formato: | Libro electrónico |
| Lenguaje: | Inglés |
| Publicado: |
New York, NY :
Springer New York : Imprint: Springer,
2014.
|
| Materias: | |
| Acceso en línea: | http://dx.doi.org/10.1007/978-1-4614-7864-5 |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Ejemplares similares
-
Debugging Systems-on-Chip Communication-centric and Abstraction-based Techniques /
por: Vermeulen, Bart
Publicado: (2014) -
Digital VLSI Design with Verilog A Textbook from Silicon Valley Polytechnic Institute /
por: Williams, John Michael
Publicado: (2014) -
Programming Heterogeneous MPSoCs Tool Flows to Close the Software Productivity Gap /
por: Castrillón Mazo, Jerónimo
Publicado: (2014) -
Pipelined Multiprocessor System-on-Chip for Multimedia
por: Javaid, Haris
Publicado: (2014) -
SystemC and SystemC-AMS in Practice SystemC 2.3, 2.2 and SystemC-AMS 1.0 /
por: Banerjee, Amal
Publicado: (2014)