Power optimization and synthesis at behavioral and system levels using formal methods / by Jui-ming Chang, Massoud Pedram
Tipo de material: TextoIdioma: ENG Editor: Boston : Kluwer, c1999Descripción: xxiii, 167 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 0792385608 (papel alcalino)Tema(s): Circuitos integrados de bajo voltaje -- Diseño asistido por computadoras | Circuitos integrados en muy gran escala -- Diseño asistido por computadoraClasificación CDD: 621.3815 Clasificación LoC:TK7874.66 | C43Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
Libros | Libros Libros | Coleccion General | TK7874.66 C43 (Navegar estantería(Abre debajo)) | 1 | Disponible | 111579 |
Total de reservas: 0
Navegando Libros Estantes, Ubicación: Libros, Código de colección: Coleccion General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
TK7874.65 S58 A unified approach for timing verification and delay fault testing / | TK7874.65 S58 A unified approach for timing verification and delay fault testing / | TK7874.654 R39 Design of analog CMOS integrated circuits / | TK7874.66 C43 Power optimization and synthesis at behavioral and system levels using formal methods / | TK7874.66 F47 Low-voltage low-power CMOS current conveyors / | TK7874.66 K86 Low-voltage CMOS VLSI circuits / | TK7874.66 K86 Low-voltage CMOS VLSI circuits / |
No hay comentarios en este titulo.