Power optimization and synthesis at behavioral and system levels using formal methods /
Chang, Jui-ming, 1967-,
Power optimization and synthesis at behavioral and system levels using formal methods / by Jui-ming Chang, Massoud Pedram - xxiii, 167 páginas : ilustraciones
0792385608 (papel alcalino)
Circuitos integrados de bajo voltaje--Diseño asistido por computadoras
Circuitos integrados en muy gran escala--Diseño asistido por computadora
TK7874.66 / C43
621.3815
Power optimization and synthesis at behavioral and system levels using formal methods / by Jui-ming Chang, Massoud Pedram - xxiii, 167 páginas : ilustraciones
0792385608 (papel alcalino)
Circuitos integrados de bajo voltaje--Diseño asistido por computadoras
Circuitos integrados en muy gran escala--Diseño asistido por computadora
TK7874.66 / C43
621.3815