???global.info.a_carregar???
José João Henriques Teixeira de Sousa. Completed the Doutoramento in Electronic Engineering in 1998 by Imperial College London. Is Assistant Professor in Universidade de Lisboa Instituto Superior Técnico, Tech startup CEO/CTO in IObundle, LDA and Researcher in Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa. Published 10 articles in journals. Has 8 book(s). Has 4 patent(s) registered. Supervised 1 PhD thesis(es) e co-supervised 1. Has received 3 awards and/or honors. Participates and/or participated as Principal investigator in 3 project(s) and Researcher in 2 project(s). In his curriculum Ciência Vitae the most frequent terms in the context of scientific, technological and artistic-cultural output are: Embedded computing; Deep learning; Convolutional neural network; Field-programmable gate array; Low power architectures; RISC-V; CGRAs; Heterogeneous computing; Bluetooth; demodulators; discriminators; frequency shift keying; low-power electronics; packet radio networks; Bluetooth low energy; Bluetooth-LE; SNR packets rejection; all-digital GFSK demodulator; bit decision unit; current 170 muA; frequency 1 MHz; intermediate-frequency input signal; low-IF Gaussian frequency-shift keying; quadrature FM discriminator; size 130 nm; voltage 1; 2 V; Bit error rate; Demodulation; Frequency shift keying; Receivers; Signal to noise ratio; CMOS; GFSK; demodulator; low-IF; low-power; Electrical and Computer Engineering - Computer Systems (Hardware/Software); .
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
José João Henriques Teixeira de Sousa

Nomes de citação

  • Sousa, José T. de

Identificadores de autor

Ciência ID
BE18-E262-E0EC
ORCID iD
0000-0001-7525-7546
Google Scholar ID
ai6ekBAAAAAJ
Scopus Author Id
7102813024
Formação
Grau Classificação
1998
Concluído
 Electrical Engineering (Doutoramento)
Especialização em Electronics
Imperial College London, Reino Unido
"Diagnosis of Interconnect Defects in Electronic Assemblies" (TESE/DISSERTAÇÃO)
1992/09/01
Concluído
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
1989/09/01
Concluído
 Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
1999 - Atual Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
1998 - 1999 Pós-doutorado (Investigação) Nokia Bell Labs, Estados Unidos

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
1999 - Atual Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal
1999 - Atual Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2019 Professor Auxiliar (Docente Universitário) Universidade de Lisboa, Portugal
2016 - 2019 Professor Auxiliar (Docente Universitário) Universidade de Lisboa, Portugal
2016 - 2019 Professor Auxiliar (Docente Universitário) Universidade de Lisboa, Portugal
2013 - 2016 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2013 - 2016 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2018 - Atual Founder, CEO and CTO IObundle, LDA, Portugal
2017 - 2019 Founder and CEO IPBLOQ, LDA, Portugal
2001 - 2013 Founder, CEO and CTO Coreworks S.A., Portugal
Coreworks S.A., Portugal
2004 - 2006 Principal Engineer DAFCA INC, Estados Unidos
DAFCA INC, Estados Unidos
1996/06 - 1996/09 Summer Intern LSI Corp, Estados Unidos
Projetos

Bolsa

Designação Financiadores
2023/12/06 - Atual Py2HWSW - A tool to manage embedded HW/SW project
101092990
IObundle, LDA, Portugal
Em curso
2023/01/01 - Atual Artificial Intelligence using Quantum measured Information for realtime distributed systems at the edge
101096658
Desenvolvimento técnico
IObundle, LDA, Portugal
Em curso
2022/09/19 - 2024/07/01 OpenCryptoLinux - Make Linux run on OpenCryptoHW
957073-2
IObundle, LDA, Portugal
Concluído
2022/09/14 - 2024/07/01 OpenCryptoTester - System-on-Chip for hardware/software testing
957073-3
Desenvolvimento técnico
IObundle, LDA, Portugal
Concluído
2021/09/27 - 2024/07/01 OpenCryptoHW - CGRA- based reconfigurable open-source cryptographic IP cores
957073
Desenvolvimento técnico
IObundle, LDA, Portugal
Concluído
2018 - 2021 PEPCC: Power Efficiency and Performance for Embedded and HPC Systems with Custom CGRAs
PTDC/EEI-HAC/30848/2017
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2010/01/01 - 2012 Rendering FPGAs to Multi-Core Embedded Computing
info:eu-repo/grantAgreement/EC/FP7/248976/EU
 European Commission
Concluído

Projeto

Designação Financiadores
2018/10/01 - 2022/09/30 Synthetic Aperture Radar Robust Reconfigurable Optimized Computing Architecture
PTDC/EEI-HAC/31819/2017
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2018/09/01 - 2022/08/31 Wireless Sensor Network for Environmental Monitoring
PTDC/EEI-EEE/30539/2017
Instituto de Telecomunicações, Portugal

Instituto de Telecomunicações, Portugal

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2019/01/01 - 2019/12/31 Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa
UID/CEC/50021/2019
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2013 - 2013 MULTIWORKS - ARQUITECTURA DE MULTIPROCESSAMENTO PARA ÁUDIO DIGITAL
24781
Investigador
Coreworks S.A., Portugal
 Agência Nacional de Inovação SA
Concluído
2011/01/01 - 2012/12/31 Strategic Project - LA 21 - 2011-2012
PEst-OE/EEI/LA0021/2011
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2009 - 2012 SIDEWORKS - PROCESSADOR RECONFIGURÁVEL, COMPILADOR E APLICAÇÕES
3487
Investigador responsável
Coreworks S.A., Portugal
 Agência Nacional de Inovação SA
Concluído
2007 - 2010 COREWORKS / NITEC
COREWORKS
Investigador responsável
Coreworks S.A., Portugal
 Agência Nacional de Inovação SA
Concluído
2002/03/01 - 2005/02/28 RECALL - A Reconfigurable Architecture for Logic Emulation/Simulation without Layout Compilation
POSI/CHS/41896/2001
POSC/41896/PT
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2001/01/01 - 2004/06/30 HIPERSAT - A HIgh PERformance hardware-software SAT solver
POSI/CHS/34562/2000
info:eu-repo/grantAgreement/FCT/Orçamento de Funcionamento/POSC/34562/PT
Investigador responsável
Fundação para a Ciência e a Tecnologia

Universidade do Algarve Faculdade de Ciências e Tecnologia
Concluído

Outro

Designação Financiadores
2019 - Atual INTENSE - Innovative Neurotechnology for Society
17619
Desenvolvimento técnico
IObundle, LDA, Portugal
Em curso
Produções

Publicações

Artigo em conferência
  1. de Sousa, José T.; Lopes, João D.; Serôdio, Micaela; Neto, Horácio C.; Véstias, Mário P.. "PT-Float: A Floating-Point Unit with Dynamically Varying Exponent and Fraction Sizes". 2024.
    10.1109/arith61463.2024.00031
  2. Duarte, Rui Policarpo; Cruz, Helena; Véstias, Mário; de Sousa, José Teixeira; Neto, Horácio. "Hardware Accelerated Backprojection Algorithm on Xilinx UltraScale+ SoC-FPGA for On-Board SAR Image Formation". 2023.
    10.23919/edhpc59100.2023.10396232
  3. "Accelerating PNG Encoding in Hardware". 2020.
    10.5281/zenodo.3679358
  4. Fiolhais, Luís; Gonçalves, Fernando; Duarte, Rui P.; Véstias, Mário; Sousa, José T. de. "Low energy heterogeneous computing with multiple RISC-V and CGRA cores". 2019.
    10.1109/ISCAS.2019.8702538
  5. Vestias, M.P.; Duarte, R.P.; De Sousa, J.T.; Neto, H.. "Hybrid dot-product calculation for convolutional neural networks in FPGA". 2019.
    10.1109/FPL.2019.00062
  6. Sousa, José T. de. "Warpbird: an Untethered System on Chip Using RISC-V Cores and the Rocket Chip Infrastructure". 2018.
    10.5281/ZENODO.3679370
  7. Véstias, Mário; Duarte, Rui; Sousa, José T. de; Neto, Horácio. "Lite-CNN: a high-performance architecture to execute CNNs in low density FPGAs". 2018.
  8. Jose T. de Sousa. "Implementação Eficiente de Múltiplos Produtos Internos com DSP em FPGA". 2018.
    10.5281/zenodo.14911999
  9. Sousa, José T. de. "Fast Fourier Transform on the Versat CGRA". 2017.
    10.5281/ZENODO.3685577
  10. Sousa, José T. de. "Compiler for the Versat reconfigurable architecture". 2017.
    10.5281/ZENODO.3685537
  11. Lopes, J.D.; De Sousa, J.T.; Neto, H.; Vestias, M.. "K-means clustering on CGRA". 2017.
    10.23919/FPL.2017.8056854
  12. Vestias, M.; Duarte, R.P.; De Sousa, J.T.; Neto, H.. "Parallel dot-products for deep learning on FPGA". 2017.
    10.23919/FPL.2017.8056863
  13. Sousa, José T. de. "Versat, a Runtime Partially Reconfigurable Coarse-Grain Reconfigurable Array using a Programmable Controller". 2016.
    10.5281/ZENODO.3685610
  14. Pereira, M.S.; Vaz, J.C.; Leme, C.A.; De Sousa, J.T.; Freire, J.C.. "An ultra-low power low-IF GFSK demodulator for Bluetooth-LE applications". 2015.
    10.1109/ISCAS.2015.7168861
  15. Jose T. de Sousa; Nuno Barreiro. "Building Reconfigurable Systems Using Open Source Components". 2014.
    10.13140/2.1.3133.2483
  16. Jose T. de Sousa. "Design and Verification of a Multi-Port Networked Test and Debug Core". 2014.
    10.13140/2.1.2084.6728
  17. Zuim, R.; Sousa, J.T.; Coelho, C.N.. "A fast SAT solver strategy based on negated clauses". 2006.
    10.1109/VLSISOC.2006.313213
  18. Zuim, R.; De Sousa, J.T.; Coelho, C.N.. "A fast SAT solver algorithm best suited to reconfigurable hardware". 2006.
  19. Conçolves, V.; De Sousa, J.T.; Conçoives, F.. "A low-cost scalable pipelined reconfigurable architecture for simulation of digital circuits". 2005.
    10.1109/FPL.2005.1515768
  20. Bhalla, A.; Lynce, I.; Sousa, José T. de; Marques-Silva, J.. "Heuristic backtracking algorithms for SAT". 2003.
    10.1109/MTV.2003.1250265
  21. Reis, N.A.; De Sousa, J.T.. "On implementing a configware/software SAT solver". 2002.
    10.1109/FPGA.2002.1106685
  22. JOSÉ TEIXEIRA DE SOUSA SOUSA. "Fitting Tester Yield Curves". Trabalho apresentado em North Atlantic Test Workshop, 2001.
    10.5281/ZENODO.14913794
  23. De Sousa, J.T.; Da Silva, J.M.; Abramovici, M.. "A Configurable Hardware/Software Approach to SAT Solving". 2001.
  24. Jose T. de Sousa. "A simulation Tool for a Pipelined SAT Solver". 2001.
    10.5281/zenodo.14913683
  25. De Sousa, J.T.; Agrawal, V.D.. "Reducing the complexity of defect level modeling using the clustering effect". 2000.
    10.1109/DATE.2000.840853
  26. Abramovici, M.; De Sousa, J.T.. "A virtual logic algorithm for solving satisfiability problems using reconfigurable hardware". 1999.
  27. Abramovici, Miron; de Sousa, Jose T.; Saab, Daniel. "Massively-parallel easily-scalable satisfiability solver using reconfigurable hardware". 1999.
  28. M. Abramovici; Sousa, José T. de; D. Saab; Abramovici, M.; de Sousa, J.T.; Saab, D.. "A massively-parallel easily-scalable satisfiability solver using reconfigurable hardware". 1999.
    10.1109/DAC.1999.782036
  29. de Sousa, J.T.; Cheung, P.Y.K.. "Improved diagnosis of realistic interconnect shorts". 1997.
  30. Sousa, José T. de; Shen, T.; Cheung, P.Y.K.. "Realistic fault extraction for boards". 1996.
  31. Sousa, J.T.; Shen, T.; Cheung, P.Y.K.. "On structural diagnosis for interconnects". 1996.
  32. Sousa, J.T.; Goncalves, F.M.; Teixeira, J.P.; Williams, T.W.. "Fault modeling and defect level projections in digital ICs". 1994.
  33. Casimiro, A.P.; Sousa, J.J.T.; Goncalves, F.M.; Teixeira, J.P.. "Test quality improvement by physical testability enhancement". 1992.
    10.1109/CMPEUR.1992.218421
  34. Saraiva, M.; Casimiro, P.; Santos, M.; Sousa, J.T.; Goncalves, F.; Teixeira, I.; Teixeira, J.P.. "Physical DFT for High Coverage of Realistic Faults". 1992.
    10.1109/TEST.1992.527885
  35. Sousa, J.J.T.; Goncalves, F.M.; Teixeira, J.P.. "IC defects-based testability analysis". 1992.
  36. Sousa, José T. de; Teixeira, J.P.. "Defect level estimation for digital ICs". 1992.
    10.1109/DFTVS.1992.224363
  37. Santos, M.B.; Goncalves, F.M.; Sousa, José T. de; Teixeira, J.P.. "Layout-level techniques for testability improvement of MOS physical designs". 1992.
  38. Sousa, J.J.T.; Goncalves, F.M.; Teixeira, J.P.. "High-quality physical designs of CMOS ICs". 1991.
    10.1109/EUASIC.1991.212846
  39. Santos, M.B.; Sousa, José T. de; Gonalves, F.M.; Teixeira, J.P.. "On the testability of realistic bridging faults". 1991.
    10.1109/DFTVS.1991.199959
  40. Jose T. de Sousa. "On the Physical Design of Testable CMOS Digital Circuits". 1990.
    10.5281/zenodo.14914319
Artigo em revista
  1. Mário Véstias; Rui P. Duarte; José T. de Sousa; Horácio Neto. "Efficient Design of Low Bitwidth Convolutional Neural Networks on FPGA with Optimized Dot Product Units". ACM Transactions on Reconfigurable Technology and Systems (2023): https://doi.org/10.1145/3546182.
    10.1145/3546182
  2. David Mota; Helena Cruz; Pedro R. Miranda; Rui Policarpo Duarte; Jose T. de Sousa; Horacio C. Neto; Mario P. Vestias. "Onboard Processing of Synthetic Aperture Radar Backprojection Algorithm in FPGA". IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing (2022): https://doi.org/10.1109/JSTARS.2022.3169828.
    10.1109/JSTARS.2022.3169828
  3. Pedro R. Miranda; Daniel Pestana; João D. Lopes; Rui Policarpo Duarte; Mário P. Véstias; Horácio C. Neto; José T. de Sousa. "Configurable Hardware Core for IoT Object Detection". Future Internet 13 11 (2021): 280-280. https://doi.org/10.3390/fi13110280.
    10.3390/fi13110280
  4. João V. Roque; João D. Lopes; Mário P. Véstias; José T. de Sousa. "IOb-Cache: A High-Performance Configurable Open-Source Cache". Algorithms 14 8 (2021): 218-218. https://doi.org/10.3390/a14080218.
    10.3390/a14080218
  5. João D. Lopes; Mário P. Véstias; Rui Policarpo Duarte ; Horácio C. Neto; José T. de Sousa . "Coarse-Grained Reconfigurable Computing with the Versat Architecture". Electronics 10 6 (2021): 669-669. https://doi.org/10.3390/electronics10060669.
    10.3390/electronics10060669
  6. Daniel Pestana; Pedro R. Miranda; Joao D. Lopes; Rui P. Duarte; Mario P. Vestias; Horacio C. Neto; Jose T. De Sousa. "A Full Featured Configurable Accelerator for Object Detection With YOLO". IEEE Access 9 (2021): 75864-75877. https://doi.org/10.1109/ACCESS.2021.3081818.
    10.1109/ACCESS.2021.3081818
  7. Sousa, José T. de. "A fast and scalable architecture to run convolutional neural networks in low density FPGAs". Microprocessors and Microsystems (2020): http://dx.doi.org/10.1016/j.micpro.2020.103136.
    10.1016/j.micpro.2020.103136
  8. Mário P. Véstias; Rui Policarpo Duarte; José T. de Sousa; Horácio C. Neto. "Moving Deep Learning to the Edge". Algorithms 13 5 (2020): 125-125. https://doi.org/10.3390/a13050125.
    10.3390/a13050125
  9. Sousa, José T. de. "Accelerating PNG Encoding in Hardware". Jornadas Sobre Sistemas Reconfiguráveis (2020): https://zenodo.org/record/3679358.
    10.5281/ZENODO.3679358
  10. Sousa, José T. de; Mario P. Vestias; Rui P. Duarte; Jose T. De Sousa; Horacio C. Neto. "A Configurable Architecture for Running Hybrid Convolutional Neural Networks in Low-Density FPGAs". IEEE Access 8 (2020): 107229-107243. http://dx.doi.org/10.1109/access.2020.3000444.
    10.1109/access.2020.3000444
  11. Valter Mário; João D. Lopes; Mário Véstias; José T. de Sousa. "Implementing CNNs Using a Linear Array of Full Mesh CGRAs". Lecture Notes in Computer Science (2020): https://publons.com/wos-op/publon/51678795/.
    10.1007/978-3-030-44534-8_22
  12. Silva-Pereira, M.; De Sousa, J.T.; Freire, J.C.; Caldinhas Vaz, J.. "A 1.7-mW-92-dBm Sensitivity Low-IF Receiver in 0.13-µ m CMOS for Bluetooth le Applications". IEEE Transactions on Microwave Theory and Techniques 67 1 (2019): 332-346. http://www.scopus.com/inward/record.url?eid=2-s2.0-85055890213&partnerID=MN8TOARS.
    10.1109/TMTT.2018.2876224
  13. Véstias, M.P.; Duarte, R.P.; de Sousa, J.T.; Neto, H.C.. "Fast convolutional neural networks in low density FPGAs using zero-skipping and weight pruning". Electronics (Switzerland) 8 11 (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85074702216&partnerID=MN8TOARS.
    10.3390/electronics8111321
  14. Sousa, José. "A 170 µtextA All-Digital GFSK Demodulator With Rejection of Low SNR Packets for Bluetooth-LE". IEEE Microwave and Wireless Components Letters 26 6 (2016): 452-454.
    10.1109/LMWC.2016.2562639
  15. Zuim, R.; De Sousa, J.T.; Coelho, C.N.. "Decision heuristic for Davis Putnam, Loveland and Logemann algorithm satisfiability solving based on cube subtraction". IET Computers and Digital Techniques 2 1 (2008): 30-39. http://www.scopus.com/inward/record.url?eid=2-s2.0-38649117895&partnerID=MN8TOARS.
    10.1049/iet-cdt:20060233
  16. Bhalla, A.; Lynce, I.; De Sousa, J.T.; Marques-Silva, J.. "Heuristic-based backtracking relaxation for propositional satisfiability". Journal of Automated Reasoning 35 1-3 (2005): 3-24. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750323402&partnerID=MN8TOARS.
    10.1007/s10817-005-9005-y
  17. Cheung, P.Y.K.; Constantinides, G.A.; de Sousa, J.T.. "Guest editors' introduction: Field programmable logic and applications". IEEE Transactions on Computers 53 11 (2004): 1361-1362. http://www.scopus.com/inward/record.url?eid=2-s2.0-8744281469&partnerID=MN8TOARS.
    10.1109/TC.2004.97
  18. Tavares, CJ; Bungardean, C; Matos, GM; de Sousa, JT. "Solving SAT with a context-switching virtual clause pipeline and an FPGA embedded processor". Lecture Notes in Computer Science (2004): https://publons.com/wos-op/publon/51678797/.
    10.1007/978-3-540-30117-2_36
  19. Bhalla, A; Lynce, I; de Sousa, JT; Marques-Silva, J. "Heuristic-based backtracking for propositional satisfiability". Lecture Notes in Computer Science (2003): https://publons.com/publon/3985467/.
    10.1007/978-3-540-24580-3_19
  20. de Sousa, JT; Goncalves, FM; Barreiro, N; Moura, J. "DARP - A digital audio reconfigurable processor". Lecture Notes in Computer Science (2002): https://publons.com/wos-op/publon/16608292/.
  21. Miron Abramovici; Jose T. de Sousa; Abramovici, M.; De Sousa, J.T.. "A SAT solver using reconfigurable hardware and virtual logic". Journal of Automated Reasoning 24 1-2 (2000): 5-36. https://publons.com/publon/14574574/.
    10.1023/A:1006310219368
  22. de Sousa, JT. "On defect level estimation and the clustering effect". Open Source Development, Adoption and Innovation (2000): https://publons.com/wos-op/publon/51678792/.
    10.1007/978-0-387-35498-9_23
  23. De Sousa, J.T.; Cheung, P.Y.K.. "Diagnosis of Boards for Realistic Interconnect Shorts". Journal of Electronic Testing: Theory and Applications (JETTA) 11 2 (1997): 157-171. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031251071&partnerID=MN8TOARS.
    10.1023/A:1008270406603
  24. Sousa, José T. de; Gonçalves, F.M.; Paulo Teixeira, J.; Marzocca, C.; Corsi, F.; Williams, T.W.. "Defect level evaluation in an IC design environment". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 15 10 (1996): 1286-1293. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030263876&partnerID=MN8TOARS.
    10.1109/43.541448
  25. Sousa, José T. de. "Physical design of testable CMOS digital integrated circuits". IEEE Journal of Solid State Circuits 26 7 (1991): 1064-1072.
    10.1109/4.92027
Capítulo de livro
  1. Sousa, José T. de. "On Defect Level Estimation and the Clustering Effect". In VLSI: Systems on a Chip. Springer US, 2000.
Livro
  1. Lopes, J.D.; De Sousa, J.T.. Versat, a minimal coarse-grain reconfigurable array. 2017.
    10.1007/978-3-319-61982-8_17
  2. Sousa, José T. de. Boundary-scan interconnect diagnosis. Springer Science \& Business Media. 2006.
  3. Tavares, C.J.; Bungardean, C.; Matos, G.M.; De Sousa, J.T.. Solving SAT with a context-switching virtual clause pipeline and an FPGA embedded processor. 2004.
  4. Cheung, P.Y.K.; Constantinides, G.A.; Sousa, José T. de. Field Programmable Logic and Application. Springer Berlin Heidelberg. 2003.
    Publicado • 10.1007/b12007
  5. Bhalla, A.; Lynce, I.; De Sousa, J.T.; Marques-Silva, J.. Heuristic-based backtracking for prepositional satisfiability. 2003.
  6. Parreira, A.; Teixeira, J.P.; Pantelimon, A.; Santos, M.B.; De Sousa, J.T.; Parreira, A; Teixeira, JP; et al. Fault simulation using partially reconfigurable hardware. 2003.
    10.1007/978-3-540-45234-8_81
  7. Cheung, P.Y.K.; Constantinides, G.A.; de Sousa, J.T.. Preface. 2003.
  8. De Sousa, J.T.; Gonçalves, F.M.; Barreiro, N.; Moura, J.. DARP - A digital audio reconfigurable processor. 2002.

Propriedade Intelectual

Patente
  1. Sousa, José. 2012. "Reconfigurable coprocessor architecture template for nested loops and programming tool".
  2. Sousa, José T. de. 2011. "Network core access architecture". Estados Unidos.
  3. Sousa, José T. de. 2002. "Virtual logic system for solving satisfiability problems using reconfigurable hardware". Estados Unidos.
  4. Sousa, José T. de. 2001. "Parallel backtracing for satisfiability on reconfigurable hardware". Estados Unidos.

Outros

Norma ou política
  1. Recommendations and Roadmap for Open-Source EDA in Europe. Open source, a decentralized and permissive development model that originates in the software field, lowers the barrier to designing innovative electronic chips, an area in which Europe faces significant challenges. Therefore, funding the development of open-source chip design tools in Europe could contribute significantly to Europe’s sovereignty goals in this field.. 2024. Luca Benini, et al; Sousa, José T. de. https://drive.google.com/file/d/1dVIi6BnwZg78IU1jd8Iq7z0UYfAnwBdW/view.
Software
  1. Sousa, José T. de. "IOb-eth, an Ethernet MAC Core". IObundle, LDA. https://github.com/IObundle/iob-eth. 2025.
    10.5281/zenodo.14911851
  2. Sousa, José T. de. "Py2HWSW - A Python framework for embedded HW/SW projects". IObundle, LDA. https://github.com/IObundle/py2hwsw. 2025.
    10.5281/zenodo.14911818
  3. Sousa, José T. de. "Versat, a custom Coarse-Grained Reconfigurable Array (CGRA) compiler". IObundle, LDA. https://github.com/IObundle/iob-versat. 2024.
    10.5281/zenodo.14911875
  4. JOSÉ TEIXEIRA DE SOUSA SOUSA. "IOb-SoC-OpenCryptoHW, a system on a chip that runs the SHA, AES, and McEliece algorithms". 2024.
    10.5281/ZENODO.14914401
  5. Sousa, José T. de. "IOb-Cache, a high-performance, configurable open-source Verilog cache.". https://github.com/IObundle/iob-cache. 2024.
    10.5281/zenodo.14911831
  6. JOSÉ TEIXEIRA DE SOUSA SOUSA. "IOb-SoC-OpenCryptoLinux". 2024.
    10.5281/ZENODO.14914348
  7. Sousa, José T. de. "IOb-SoC-Tester". 2022.
    10.5281/zenodo.14914436
  8. Sousa, José T. de. "IOb-SoC". 2019.
    10.5281/zenodo.13346032
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2024/11/27 AI and ML for RISC-V+Accelerator Edge Devices
ST Microelectronics (Grenoble, França)
2020/02/11 Sistemas integrados de código aberto, com processadores RISC-V e matrizes reconfiguráveis de granularidade grossa Jornadas sobre Sistemas Reconfiguráveis
Instituto Superior Técnico (Lisbon, Portugal)
2020/01/20 RISC-V/CGRA-based open source SoC 14th HiPEAC Workshop on Reconfigurable Computing (WRC'2020)
HIPEAC (Bologna, Itália)
2019/02/14 Implementing Large CNNs in Low-Density FPGA Jornadas sobre Sistemas Reconfiguráveis (REC)
Universidade do Minho (Guimarães, Portugal)
2016/11/18 Versat, a Runtime Partially Reconfigurable Coarse-Grain Reconfigurable Array using a Programmable Controller, Invited Talk, 18/11/2016, FEUP - Universidade do Porto, Portugal Invited Talk
FEUP - Universidade do Porto (Porto, Portugal)
2014/10/08 Reconfigurable Data Stream Architectures in Industrial Audio Processing. DASIP 2014 Conference on Design & Architectures for Signal & Image Processing
Escuela Técnica Superior de Ingenieros Industriales de Madrid (Madrid, Espanha)
2012/03 Sistemas de áudio integrados utilizando multi-processadores, Lisboa, Portugal, March, 2012. Jornadas de Engenharia Electrotécnica e de Computadores
Instituto Superior Técnico (Lisbon, Portugal)
2010/03 Propriedade Intelectual Jornadas de Engenharia Electrotécnica e de Computadores
Instituto Superior Técnico (Lisbon, Portugal)
2010 Application Processors and Digital Signal Processor Ciência 2010
FCT (Lisbon, Portugal)
2007/02 Reconfiguration Starts at the IP Level Jornadas de Engenharia Electrotécnica e de Computadores
Instituto Superior Técnico (Lisbon, Portugal)
2003/04 DARP - a Digital Audio Reconfigurable Processor, Paris, France, April 2003. Invited Talk
Laboratoire Informatique de Paris 6 (LIP6), Université Pierre et Marie Currie (Paris, França)
2001/05 A Configware/Software Approach to SAT Solving Invited Talk
Bell Labs-Lucent Technologies (Murray Hill, N.J., Estados Unidos)
1999/05 Satisfiability on Reconfigurable Hardware Invited Talk
University of California at Berkeley (Berkeley, CA, Estados Unidos)
1997/05 Diagnosis of Realistic Defects in Electronic Assemblies Outstanding Research Seminar Series
Department of Electrical and Electronic Engineering, Imperial College of Science, Technology and Medicine (London, Reino Unido)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2020/02/07 - Atual Precision Trade-off Floating-Point Units for Coarse-Grained Reconfigurable Arrays
Coorientador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2024 - 2024 CGRA-based Deep Neural Network for Object Identification
Coorientador
 Engenharia Eletrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2023 - 2023 MPEG1/2 layers I/II encoder using a RISC-V processor and hardware accelerators
Orientador
 Engenharia Eletrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022 - 2022 Linux capable RISC-V CPU for IOb-SoC
Orientador
 Engenharia Eletrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022 - 2022 IOb-SoC-based tester system
Orientador
 Engenharia Eletrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 - 2021 Object Detection and Classification on the Versat Reconfigurable Processor
Coorientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 - 2021 CGRA-based Deep Neural Network for Object Identification
Coorientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 - 2021 Development Environment for a RISC-V Processor: Cache
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 - 2021 Unum Type-IV: Floating-Point Unit with Dinamically Variable Exponent and Mantissa Sizes
Coorientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 - 2021 Bootloader for a RISC-V processor that uses Flash memory
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 - 2021 Asynchronous Audio Sample Rate Converter
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 - 2020 Verilog PNG Encoder
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019 Simulator for the RV32-Versat Architecture
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019 Deep Versat: A Deep Coarse Grain Reconfigurable Array
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019 Um Sistema Integrado Baseado no Processador OpenRISC
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019 C Compiler for the VERSAT Reconfigurable Processor
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019 Verilog PNG Encoder
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017 VERSAT, a Compile-Friendly Reconfigurable Processor - Architecture
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017 Multiple UDP ports for FaceWorks, an networked IP core used for debug
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 Compilador para a Arquitectura Reconfigurável Versat
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014 - 2014 Melhoramento ao simulador de Exactidão de Ciclo para a Arquitectura FireWork/SideWork
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2007 - 2007 Backtracking Relaxation Algorithms for Propositional Satisfiability
Coorientador
 Engenharia Electrotécnica e de Computadores (Doutoramento)
2004 - 2007 Uma heurística de decisão baseada na subtração de cubos para solucionadores DPLL do problema de satisfabilidade
Coorientador de Romanelli Lodron Zuim
 Computer Science (Doutoramento)
Universidade Federal de Minas Gerais, Brasil

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2023/07/19 - 2023/07/22 34th IEEE International Conference on Application-specific Systems, Architectures and Processors (2023/07/19 - 2023/07/21)
Conferência (Membro da Comissão Organizadora)
2021/06/05 - 2021/06/06 Workshop Organiser, IOb-SoC, Jornadas sobre Sistemas Reconfiguraveis (REC), Porto, Portugal (2021/06/05)
Oficina (workshop) (Coorganizador)
 IObundle, LDA, Portugal
2014/03/18 - 2014/03/18 Workshop Organiser, Build a System on Chip Hands-On Workshop, Jornadas de Engenharia Elec- trotécnica e de Computadores (JEEC), Lisbon, Portugal, Mar. 2014 (2014/03/18 - 2014/03/18) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2014/02/10 - 2014/02/10 INESC-ID Distinguished Lecture Series Organiser, Free softcore, tools and toolchains: The OpenRISC experience, by Jeremy Bennet, Lisbon, Portugal (2014/02/10)
Seminário (Coorganizador)
 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2002/01/01 - 2010/01/01 Steering Committee Member, International Conference on Field Programmable Logic and Applications (2002/01/01 - 2010/01/01)
Conferência
 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2003/09/01 - 2003/09/03 Field Programmable Logic and Application: 13th International Conference, FPL 2003, Lisbon, Portugal (2003/09/01 - 2003/09/03)
Conferência (Presidente da Comissão Organizadora)
 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2004/01/01 - Atual Jornadas sobre Sistemas Reconfiguráveis
2002/01/01 - 2012/01/01 Program Committee Member, International Conference on Field Programmable Logic and Applications (FPL),
2004/01/01 - 2007/01/01 Program Committee Member, Program Committee of the International Workshop on Applied Reconfig- urable Computing (ARC)
2004/01/01 - 2006/01/01 Reconfigurable Architectures Workshop (RAW)
1999/01/01 - 2002/01/01 Program Committee Member, North Atlantic Test Workshop

Comissão de avaliação

Descrição da atividade
Tipo de assessoria 		Instituição / Organização Entidade financiadora
2024 - Atual Member of the jury of doctoral dissertation of Ioullia Skliarova, “Arquitecturas reconfiguráveis para problemas de optimização combinatória”
Membro
 Universidade de Aveiro, Portugal
2003 - Atual Jury of the doctoral thesis of Oliver Sinnen, “Task Scheduling for Parallel Systems”, DEEC, IST
Membro
 Universidade de Lisboa Instituto Superior Técnico, Portugal

Consultoria / Parecer

Descrição da atividade Instituição / Organização
2018/04/01 - 2020/08/01 As CEO of IObundle, he acted as a technology advisor for Maxeler Technologies, a UK-based company, from January 2004 to September 2006. His responsibilities included helping define an IP core strategy, outlining steps for adopting the RISC-V architecture, and reviewing documentation. This collaboration aligned with Maxeler’s focus on Maximum Performance Computing and their interest in RISC-V technology. IObundle, LDA, Portugal
2004/01/01 - 2006/09/01 From January 2004 to September 2006, the candidate served as a technology advisor for Dafca, Inc., a US-based Design Automation startup headquartered in Framingham, MA. Dafca developed hardware and software for chip debug infrastructure. In his advisory role, he contributed to developing tests for chip debug infrastructure and created live demonstrations showcasing practical debug scenarios. This experience allowed him to work with advanced post-silicon verification and debug technologies, crucial for products with short lifetimes. Coreworks S.A., Portugal

Entrevista (jornal / revista)

Descrição da atividade Jornal / Forum
2024/10/30 In this interview, the candidate discussed the importance of the projects he participated in. The interview highlighted these projects’ social and professional impact, particularly in addressing critical internet security issues. As stated in the interview, “The three fundamental issues of the internet are privacy, data security, and environmental impact.” NLnet Foundation (2024, Netherlands):
2011/12/03 Interview on founding Coreworks, a semiconductor company in Portugal. The interview highlighted the significance of establishing a high-tech semiconductor firm in the country, contributing to local technological advancement and economic growth. This exposure likely had a substantial professional and social impact by showcasing Portugal’s potential in the global semiconductor industry and inspiring future entrepreneurs. Expresso
2011/11/26 The interview was on the importance of startup Coreworks and the semiconductor industry in Portugal. Exame

Membro de associação

Nome da associação Tipo de participação
1999 - Atual IEEE

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2025/01/21 - Atual Member of the School's Assembly
Membro
 Universidade de Lisboa Instituto Superior Técnico, Portugal
2024/06/01 - Atual Member of the Scientific Commission of the Master’s Degree in Electrical and Computer Engineering of the ULisboa-Shanghai University, since 2024. Universidade de Lisboa Instituto Superior Técnico, Portugal
Distinções

Título

2021 IEEE Senior Member

Outra distinção

2019 Excellent Teacher
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 Best paper award
2010 Design Vision Award
International Engineering Consortium, Estados Unidos
1997 Outstanding Research Award