Mostrando 1 - 1
de 1
Para Buscar: '"verification"',
tiempo de consulta: 0.09s
Resultados Agrupados
Quitar Filtros
Autor: Pacheco-Castro, José Andrés
Institución
Repositorio
Formato
Idioma
Materia
1
Assertion Libraries
1
Bibliotecas de aserciones
1
Circuitos integrados
1
Computational tree logic (CTL)
1
Diseño de alto nivel
1
Electronic systems
más ...
1
High level design
1
Integrated circuits
1
Property Specification Language (PSL)
1
Research Subject Categories::TECHNOLOGY::Electrical engineering, electronics and photonics
1
Simulación
1
Simulation
1
Sistemas electrónicos
1
Verificación -- Diseños de hardware
1
Verification -- Hardware Designs
1
Very Large Scale Integration (VLSI)
1
field programmable gate array (FPGA)
ver todos ...
menos ...
Año de Publicación