Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por João Paiva Cardoso

2005

On estimations for compiling software to FPGA-based systems

Autores
Cardoso, JMP;

Publicação
16th International Conference on Application-Specific Systems, Architecture and Processors, Proceedings

Abstract
This paper presents recent advances in a compiler infrastructure to map algorithms described in a Java subset to FPGA-based platforms. We explain how delays and resources are estimated to guide the compiler through scheduling and temporal partitioning. The compiler supports complex analytical models to estimate resources and delays for each functional unit. The paper presents experimental results for a number of benchmarks. Those results also arrise a question when performing temporal partitioning: shall we try to group as many computational structures in the same configuration or shall we have several configurations?

2005

An infrastructure to functionally test designs generated by compilers targeting FPGAs

Autores
Rodrigues, R; Cardoso, JMP;

Publicação
DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS

Abstract
This paper presents an infrastructure to test the functionality of the specific architectures output by a high-level compiler targeting dynamically reconfigurable hardware. It results in a suitable scheme to verify the architectures generated by the compiler, each time new optimization techniques are included or changes in the compiler are performed. We believe this kind of infrastructure is important to verify, by functional simulation, further research techniques, as far as compilation to Field-Programmable Gate Array (FPGA) platforms is concerned.

2008

Special track on embedded systems: Applications, solutions, and techniques

Autores
Bechini, A; Prete, CA; Altenbernd, P; Bartolini, S; Bertin, V; Buttazzo, G; Cardoso, JMP; Dean, A; Engels, M; Foglia, P; Franke, B; Giorgi, R; Hansson, J; Jha, NK; Krall, A; Kuo, TW; Ledeczi, A; Lim, SS; Memik, G; Simeon, J; Sheynin, Y; Sips, HJ; Talpin, JP; Tripakis, S; Velev, M; Yen, IL;

Publicação
Proceedings of the ACM Symposium on Applied Computing

Abstract

2003

ARCHITECT-R: A System for Reconfigurable Robots Design

Autores
Gonçalves, R.A.; Moraes, P.A.; Cardoso, JoaoM.P.; Wolf, DenisF.; Fernandes, MarcioMerino; Romero, RoseliA.Francelin; Marques, Eduardo;

Publicação
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA

Abstract
An increasing interest in the design of mobile robots has been observed in recent years, which is mainly motivated by technological advances that may allow their application to consumer markets, in addition to industrial areas. Although sophisticated techniques have been developed, choosing the appropriate hardware-software partitioning and programming robot functions are still very complex tasks. Current approaches often involve the design and implementation of hardwired solutions, with the associated problems of a long development cycle and inflexibility. In this paper we present a framework called ARCHITECT-R, which aims to design and program specialized hardware for robots based on FPGAs. We also present the first results obtained using this framework.

1999

Macro-Based Hardware Compilation of Java(tm) Bytecodes into a Dynamic Reconfigurable Computing System

Autores
Cardoso, JMP; Neto, HC;

Publicação
7th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '99), 21-23 April 1999, Napa, CA, USA

Abstract
This paper presents a new approach to synthesize to reconfigurable hardware (HW) user-specified regions of a program, under the assumption of "virtual HW" support. The automation of this approach is supported by a compiler front-end and by an HW compiler under development. The front-end starts from the Java bytecodes and, therefore, supports any language that can be compiled to the JVM (Java Virtual Machine) model. It extracts from the bytecodes all the dependencies inside and between basic blocks. This information is stored in representation graphs more suitable to efficiently exploit the existent parallelism in the program than those typically used in high-level synthesis. From the intermediate representations the HW compiler exploits the temporal partitions at the behavior level, resolves memory access conflicts, and generates the VHDL descriptions at register-transfer level that will be mapped into the reconfigurable HW devices.

2001

Novel Algorithm Combining Temporal Partitioning and Sharing of Functional Units

Autores
Cardoso, JMP;

Publicação
Proceedings - 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001

Abstract
Resource virtualization on FPGA devices, achievable due to its dynamic reconfiguration capabilities, provides an attractive solution to save silicon area. Architectural synthesis for dynamically reconfigurable FPGA-based digital systems needs to consider the case of reducing the number of temporal partitions (reconfigurations), by enabling sharing of some functional units in the same temporal partition. This paper proposes a novel algorithm for automated datapath design, from behavioral input descriptions (represented by a dataflow graph), which simultaneously performs temporal partitioning and sharing of functional units. The proposed algorithm attempts to minimize both the number of temporal partitions and the execution latency of the generated solution. Temporal partitioning, resource sharing, scheduling, and a simple form of allocation and binding are all integrated in a single task. The algorithm is based on heuristics and on a new concept of construction by gradually enlarging timing slots. Results show the efficiency and effectiveness of the algorithm when compared to existent approaches. © 2001 Non IEEE.

  • 30
  • 43