Name Proceedings of SPIE - The International Society for Optical Engineering

View Statistics Email Alert RSS Feed

Refined By:

Researcher: montiel nelson, juan antonio

Structure: departamento de ingeniería electrónica y automática

Researcher: navarro botello,héctor

Title Issue Date
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. Issued date: 2005 DOI: 10.1117/12.608526 Source: Proceedings of SPIE - The International Society for Optical Engineering[ISSN 0277-786X],v. 5837 PART II (83), p. 754-763 Actas de congresos