ESPAÑOL ENGLISH

Sosa González, Carlos Javier

Publicaciones

Todo

Artículos

Artículos de conferencias

Libros y capÍtulos de libro

Comentario

Ponencia

Otros

Tipo de publicación

5 actas de congresos
1 artículo

Por investigador

Por afiliación

Busca por:

Departamento: iu de microelectrónica aplicada

Investigador: navarro botello,héctor

Título Año
A geometric approach to register transfer level satisfiability Navarro Botello,Héctor ; Nooshabadi, Saeid; Montiel- Nelson, Juan A. ; Navarro, V.; Sosa, J. , et al. Fecha de publicación: 2009 DOI: 10.1109/ISQED.2009.4810306 Localización: Proceedings of the 10th International Symposium on Quality Electronic Design, ISQED 2009 (4810306), p. 272-275 Actas de congresos
High performance CMOS symmetric low swing to high swing converter for on-chip interconnects Montiel-Nelson, Juan A. ; Navarro Botello,Héctor ; Sosa González, Carlos Javier ; Nooshabadi, Saeid; Garcia, Jose C. Fecha de publicación: 2007 DOI: 10.1109/NEWCAS.2007.4487974 Localización: 2007 IEEE North-East Workshop on Circuits and Systems, NEWCAS 2007 (4487974), p. 566-569 Actas de congresos
A one-step algorithm for finding the optimum solution of the state justification problem in RTL designs using MILP Navarro Botello,Héctor ; Montiel-Nelson, Juan A. ; Sosa, Javier ; García, José C. Fecha de publicación: 2005 DOI: 10.1117/12.608526 Localización: Proceedings of SPIE - The International Society for Optical Engineering[ISSN 0277-786X],v. 5837 PART II (83), p. 754-763 Actas de congresos
A direct bootstrapped CMOS large capacitive-load driver circuit García, José C. ; Montiel-Nelson, Juan A. ; Navarro Botello,Héctor ; Sosa, J Fecha de publicación: 2004 Localización: Proceedings - Design, Automation and Test in Europe Conference and Exhibition,v. 1, p. 680-681 Actas de congresos
Functional vector generation for combinational circuits based on data path coverage metric and mixed integer linear programming Montiel-Nelson, Juan A. ; Navarro Botello,Héctor ; García, José C. ; Sosa González, Carlos Javier Fecha de publicación: 2004 DOI: 10.1109/ISQED.2004.1283676 Localización: Proceedings - 5th International Symposium on Quality Electronic Design, ISQUED 2004, p. 217-222 Actas de congresos
Multiplexer model for RTL satisfiability using MILP Navarro Botello,Héctor ; Montiel-Nelson, J. A. ; Sosa, J. ; García, J. C. ; Fay, D. Q M Fecha de publicación: 2004 DOI: 10.1049/el:20040304 Localización: Electronics Letters[ISSN 0013-5194],v. 40, p. 417-418 SJR: 0,83 - Q1 JCR: 0,968 - Q2 SCIE Artículo