Encontrados 9 documentos, a visualizar página 1 de 1
The ARPA Project: creating an open-source real-time system-on-chip
Oliveira, Arnaldo S. R.; Sklyarov, Valery A.; Ferrari, António B.This paper describes the ARPA project. The aim of this project is to develop an opensource System-on-Chip model for real-time applications. The main component of the SoC is a MIPS based RISC processor. It is implemented using a pipelined Simultaneous Multithreading (SMT) structure, which allows exploring the Instruction and Task Level Parallelism, decrease the contexts witching time and avoid speculative execut...
Introdução à computação reconfigurável
Skliarova, Iouliia; Ferrari, António B.With the advent of new types of programmable logic devices (PLDs), the process of digital system design has undergone a notable revision during the past few decades. Actually, many digital systems are implemented with the aidof high-capacity PLDs (FPGAs, in particular). The FPGA market continues to grow resulting in a wide variety of available devices. In this context the new concept of reconfigurable computing...
Utilização do hardware reconfigurável para acelerar algoritmos evolutivos: o ca...
Skliarova, Iouliia; Ferrari, António B.Evolutionary algorithms (EA) have been shown to be an effective approach for finding near-optimum solutions to problems of combinatorial optimization. The paper analyzes a possibility of acceleration of EA for the traveling salesman problem (TSP) with the aid of reconfigurable hardware. The estimative results show that the combination of general-purpose computer and FPGAresources allows performance to be increa...
Satisfação booleana: algoritmos, aplicações, implementações
Skliarova, Iouliia; Ferrari, António B.This paper presents the detailed description of the Boolean satisfiability (SAT) problem and considers the complete discrete algorithms that are commonly employed in its solution. It is demonstrated that SAT has numerous practical applications. Thus the design and implementation of efficient algorithms is of great importance today. Finally, various realizations of SAT solvers based on reconfigurable hardware ar...
Utilização de hardware reconfigurável para acelerar a satisfação booleana
Skliarova, Iouliia; Ferrari, António B.The paper presents a case study of accelerating Boolean satisfiability in reconfigurable hardware. Boolean satisfiability (SAT) is an important problem having many applications in CAD and other areas. We propose an application-specific approach to accelerate the backtrack search algorithm for the SAT problem formulated over discrete matrix. The algorithm employed involves a quite sophisticated control unit, whi...
Modelos matemáticos e problemas de optimização combinatória
Skliarova, Iouliia; Ferrari, António B.The paper presents the results of the analysis of different models that are used in problems of combinatorial optimization, such as graphs, sets, discrete matrices, and Boolean functions. It is shown that these models can be mutually converted one into another. Many examples of typical combinatorial tasks, which appear at different steps of the design of digital devices, are considered. The majority of these ta...
Projecto e implementação de um subconjunto da arquitectura MIPS16 com base em F...
Skliarova, Iouliia; Ferrari, António B.The paper considers the design of a proccessor with MIPS16 architecture on the base of FPGA XC4010XL and presents the developed software tools that allow to analyse the constructed digital circuits in FPGA, to implement the desired set of instructions for the processor, and to work with the processor in interactive mode. The design flow is based on tools and libraries of the commercially available Xilinx Founda...
Implementação e simulação do processador MIPS com a ALU reconfigurável dinamica...
Skliarova, Iouliia; Ferrari, António B.This article describes a set of simulation tools for processors implementing subsets of the MIPS architecture. The design environment that has been created allows the user to write simple assembly language programs and to visualize their execution in terms of the processor's internal structure, i.e. of the control signals generated with the flow of time, ALU operation results and contents of registers. Processo...
EUROCONFERENCE 98: new technologies for Higher Education: proceedings of TMR Eu...
Ferrari, António B.; Mealha, Óscar Emanuel C.FOREWORD: The 1998 Euroconference on New Technologies for Higher Education, the first of a series of two events which took place at Universidade de Aveiro, Portugal, from 16th to 19th September, addressed the recent developments in the area of new educational media, both from the technological and educational points of view. Distance learning and the use of multimedia are already having a significant impact on ...