| A survey on formal verification techniques for safety-critical systems-on-chip T Grimm, D Lettnin, M Hübner Electronics 7 (6), 81, 2018 | 79 | 2018 |
| The value of FPGAs as reconfigurable hardware enabling Cyber-Physical Systems T Grimm, B Janßen, O Navarro, M Hübner 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation …, 2015 | 21 | 2015 |
| Automatic generation of RTL connectivity checkers from SystemC TLM and IP-XACT descriptions T Grimm, D Lettnin, M Hübner 2016 IEEE Nordic Circuits and Systems Conference (NORCAS), 1-6, 2016 | 4 | 2016 |
| A hybrid methodology to enable the verification of temporal properties as system-level. T Grimm Ruhr University Bochum, Germany, 2019 | 1 | 2019 |
| A Scalable Approach for Hardware Semiformal Verification T Grimm, D Lettnin, M Hübner arXiv preprint arXiv:1801.08446, 2018 | 1 | 2018 |
| Semiformal verification of software-controlled connections T Grimm, D Lettnin, M Hübner 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 556-561, 2017 | 1 | 2017 |
| Desenvolvimento em linguagem de descrição de hardware de codificador e decodificador Reed-Solomon T Grimm | 1 | 2014 |
| ARCHVerifyr: An Embedded Software-Driven Approach for Architecture Verification T Grimm, D Lettnin, M Hübner 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 220-225, 2018 | | 2018 |
| Automatic Generation of RTL Connectivity Checkers for Automotive Gateways from SystemC TLM Models T Grimm, D Lettnin, M Hübner IEEE Nordic Circuits and Systems Conference, 1-2 November 2016, Copenhagen …, 2017 | | 2017 |
| Hardware implementation of two key equation solvers for Reed-Solomon decoding T Grimm, EA Bezerra, D Silva IEEE Latin America Transactions 13 (11), 3550-3555, 2015 | | 2015 |
| Ferramenta de Apoio à Simulação de Circuitos Integrados sob Teste T Grimm Pontifícia Universidade Católica do Rio Grande do Sul, 2011 | | 2011 |
| Harsha P, Sri 732 Hashimoto, Masanori 429, 522 He, Linjun 6 He, Zhezhi 130, 533 S Hemmady, J Draper, R Drechsler, M Duan, LHK Duong, J Dworak, ... | | |
Djones LettninUFSCBestätigte E-Mail-Adresse bei ufsc.br
