Jose T. de Sousa
Jose T. de Sousa
INESC-ID / Tecnico University of Lisbon
Verified email at inesc-id.pt
Title
Cited by
Cited by
Year
Defect level evaluation in an IC design environment
JT De Sousa, FM Gonçalves, JP Teixeira, C Marzocca, F Corsi, ...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1996
611996
A SAT Solver using Reconfigurable Hardware and Virtual Logic
M Abramovici, J.T. de Sousa
SAT 2000, Highlights of Satisfiability Research in the Year 2000,, 377-402, 2001
492001
A SAT solver using reconfigurable hardware and virtual logic
M Abramovici, JT De Sousa
Journal of Automated Reasoning 24 (1-2), 5-36, 2000
492000
IC Defects-Based Testability Analysis
JJT Sousa, FM Gonçalves, ...
International Test Conference (ITC), 500-509, 1991
441991
A massively-parallel easily-scalable satisfiability solver using reconfigurable hardware
M Abramovici, JT de Sousa, D Saab
Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 684-690, 1999
431999
A configurable hardware/software approach to SAT solving
JT de Sousa, JM Da Silva, M Abramovici
The 9th Annual IEEE Symposium on Field-Programmable Custom Computing …, 2001
422001
Virtual logic system for solving satisfiability problems using reconfigurable hardware
M Abramovici, JT De Sousa
US Patent 6,442,732, 2002
412002
Parallel backtracing for satisfiability on reconfigurable hardware
M Abramovici, JT De Sousa, DG Saab
US Patent 6,292,916, 2001
342001
Network core access architecture
JT De Sousa, NCC Lourenco, NGDR Ribeiro, VMG Martins, RJS Martins
US Patent 8,019,832, 2011
302011
Reducing the complexity of defect level modeling using the clustering effect
JT de Sousa, VD Agrawal
Proceedings Design, Automation and Test in Europe Conference and Exhibition …, 2000
302000
Physical DFT for High Coverage of Realistic Faults
M Saraiva, P Casimiro, M Santos, JT Sousa, FM Gonçalves, I Teixeira, ...
Int. Test Conference (ITC), 642-651, 1992
271992
Fault Modeling and Defect Level Projections in Digital ICs
JT Sousa, FM Gonçalves, JP Teixeira, TW Williams
European Design and Test Conference (ED&TC), 436-442, 1994
211994
On implementing a configware/software SAT solver
NA Reis, JT de Sousa
Proceedings. 10th Annual IEEE Symposium on Field-Programmable Custom …, 2002
202002
Fault simulation using partially reconfigurable hardware
A Parreira, JP Teixeira, A Pantelimon, MB Santos, JT de Sousa
International Conference on Field Programmable Logic and Applications, 839-848, 2003
192003
Physical design of testable CMOS digital integrated circuits
JJHT de Sousa, FM Goncalves, JP Teixeira
IEEE Journal of Solid State Circuits 26 (7), 1064-1072, 1991
181991
Heuristic backtracking algorithms for SAT
A Bhalla, I Lynce, JT de Sousa, J Marques-Silva
Proceedings. 4th International Workshop on Microprocessor Test and …, 2003
162003
Layout-Driven Testability Enhancement
JP Teixeira, FM Gonçalves, JJT Sousa
European Test Conference, 101-109, 1991
151991
Parallel Dot-Products for Deep Learning on FPGA
M Véstias, R Duarte, JT de Sousa, H Neto
27th Int. Conference on Field Programmable Logic and Applications, 2017
142017
Defect Level Estimation for Digital ICs
JJT Sousa, JP Teixeira
IEEE Int. Workshop on Defect and Fault Tolerance in VLSI Systems, 32-41, 1992
131992
Boundary-scan interconnect diagnosis
JT De Sousa, PYK Cheung
Springer Science & Business Media, 2006
122006
The system can't perform the operation now. Try again later.
Articles 1–20