Search
Add filters:
Use filters to refine the search results.
Results 1-2 of 2 (Search time: 0.002 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
21-Dec-2018 | Verificação formal para hardware. | ALMEIDA, Matheus Andrade de. |
21-Dec-2018 | NXP Semiconductors. | ALMEIDA, Matheus Andrade de. |
Discover
Subject
- 1 Ambiente de verificação formal em...
- 1 Estágio em Engenharia Elétrica
- 1 Formal hardware verification envi...
- 1 Formal verification - hardware
- 1 Formal verification languages
- 1 High-level verification
- 1 Internship in Electrical Engineering
- 1 Linguagens de verificação formal
- 1 Microelectronics
- 1 Microeletrônica
- next >