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 c...
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 c...
This paper describes implementation of reconfigurable circuits which support interaction with VGA monitors. Visualization of the results and intermediate data on a VGA monitor reduces the FPGA-based circuit design time and expands the potentialities of human-circuit interaction. The designed project was successfully employed within Reconfigurable Computing (4th year of Computer Engineering curriculum) and Recon...
The paper presents a tutorial, which covers new methods and tools that are used in educational process of Electronics and Telecommunications Department of Aveiro University for the disciplines devoted to the design of reconfigurable systems. Three following basic topics have been considered: 1) FPGAs of state-of-the-art Spartan-II/Spartan-IIE families that possess a number of advantages...
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 ...
The paper describes original methods and novel tools (namely animated tutorials, projects and organization of data on WebCT) that have been used for teaching disciplines on reconfigurable computing and advanced digital systems. Many examples are provided, which demonstrate how to get access to all the available materials and how these materials help the students to understand ...
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 consid...
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&n...
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...
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 a...
Financiadores do RCAAP | |||||||
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |