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
661996
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), 5-36, 2000
492000
IC Defects-Based Testability Analysis
JJT Sousa, FM Gonçalves, ...
International Test Conference (ITC), 500-509, 1991
471991
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
461999
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
452001
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
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
332000
Network core access architecture
JT De Sousa, NCC Lourenco, NGDR Ribeiro, VMG Martins, RJS Martins
US Patent 8,019,832, 2011
312011
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
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
211991
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
201994
On implementing a configware/software SAT solver
NA Reis, JT de Sousa
Proceedings. 10th Annual IEEE Symposium on Field-Programmable Custom …, 2002
192002
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
182003
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
172017
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
161991
Defect Level Estimation for Digital ICs
JJT Sousa, JP Teixeira
IEEE Int. Workshop on Defect and Fault Tolerance in VLSI Systems, 32-41, 1992
151992
Lite-CNN: A High-Performance Architecture to Execute CNNs in Low Density FPGAs
HN Mário P. Véstias, Rui Policarpo Duarte, José T. de Sousa
28th International Conference on Field Programmable Logic and Applications (FPL), 2018
142018
The system can't perform the operation now. Try again later.
Articles 1–20