Correct-by-Construction Approaches for SoC Design (Registro nro. 27521)

Detalles MARC
000 -CABECERA
campo de control de longitud fija	02622Cam#a22004695i#4500
001 - NÚMERO DE CONTROL
campo de control	INGC-EBK-000093
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control	AR-LpUFI
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control	20220927105627.0
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL
campo de control de longitud fija	cr nn 008mamaa
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija	130821s2014 xxu\| s \|\|\|\| 0\|eng d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro	9781461478645
024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES
Número estándar o código	10.1007/978-1-4614-7864-5
Fuente del número o código	doi
050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Número de clasificación	TK7888.4
072 #7 - CÓDIGO DE CATEGORÍA DE MATERIA
Código de categoría de materia	TJFC
Fuente	bicssc
072 #7 - CÓDIGO DE CATEGORÍA DE MATERIA
Código de categoría de materia	TEC008010
Fuente	bisacsh
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona	Sinha, Roopak.
9 (RLIN)	260065
245 10 - MENCIÓN DE TÍTULO
Título	Correct-by-Construction Approaches for SoC Design
Medio	[libro electrónico] /
Mención de responsabilidad, etc.	by Roopak Sinha, Parthasarathi Roop, Samik Basu.
260 #1 - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc.	New York, NY :
Nombre del editor, distribuidor, etc.	Springer New York :
--	Imprint: Springer,
Fecha de publicación, distribución, etc.	2014.
300 ## - DESCRIPCIÓN FÍSICA
Extensión	xxi, 144 p. :
336 ## - TIPO DE CONTENIDO
Término de tipo de contenido	text
Código de tipo de contenido	txt
Fuente	rdacontent
337 ## - TIPO DE MEDIO
Nombre/término del tipo de medio	computer
Código del tipo de medio	c
Fuente	rdamedia
338 ## - TIPO DE SOPORTE
Nombre/término del tipo de soporte	online resource
Código del tipo de soporte	cr
Fuente	rdacarrier
347 ## - CARACTERÍSTICAS DEL ARCHIVO DIGITAL
Tipo de archivo	text file
Formato de codificación	PDF
Fuente	rda
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato	System-on-A-Chip Design.-Â The AMBA SOC Platform.-Â Automatic Verification using Model and Module Checking -- Models for SoCs and Specifications -- SoC Design Methodology -- Automatic Protocol Conversion -- Related Work and Outlook.-Â Appendix: Converter Generation Algorithm.
520 ## - SUMARIO, ETC.
Sumario, etc.	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 generating correct SoCs from multiple, possibly mismatching, components. Â·Â Â Â Â Â Â Â Â Provides a single-source reference to correct-by-construction SoC design; Â·Â Â Â Â Â Â Â Â Enables optimized design cycles, with techniques to reuse IP blocks reliably; Â·Â Â Â Â Â Â Â Â Uses realistic SoC case studies to highlight the concepts introduced;Â Â·Â Â Â Â Â Â Â Â Demonstrates techniques using industrial standard SoC frameworks such as ARM AMBA.
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Engineering.
9 (RLIN)	259622
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Microprocessors.
9 (RLIN)	259640
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Electronics.
9 (RLIN)	259648
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Microelectronics.
9 (RLIN)	259649
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Electronic circuits.
9 (RLIN)	259798
650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Circuits and Systems.
9 (RLIN)	259651
650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Processor Architectures.
9 (RLIN)	259645
650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Instrumentation.
9 (RLIN)	259652
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona	Roop, Parthasarathi.
9 (RLIN)	260066
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona	Basu, Samik.
9 (RLIN)	260067
776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL
Información de relación/Frase instructiva de referencia	Printed edition:
Número Internacional Estándar del Libro	9781461478638
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso	<a href="http://dx.doi.org/10.1007/978-1-4614-7864-5">http://dx.doi.org/10.1007/978-1-4614-7864-5</a>
912 ## -
--	ZDB-2-ENG
929 ## -
--	COM
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha	Libro electrónico

No hay ítems disponibles.