Value-range analysis is a static analysis technique based on arguing about the values that a variable may take on a given program point. It can be used to prove absence of run-time errors such as out-of-bound array accesses. Since value-range analysis collects information on each program point, data-flow analysis can be used in association with it. The main goal of this work is designing and implementing such a value-range analysis tool. The work begins with an introduction into the topic, an explanation of data-flow and value-range analyses and a description of abstract interpretation, which provides the formal basis of the analyser. The core of this work is the design, implementation, testing and evaluation of the analyser. In the conclusion, our personal experience obtained in the area of the thesis is mentioned, along with a discussion of a possible future development of the designed tool.

Computer hardware and algorithm design have seen significant progress over the years. It is also seen that there are several domains in which humans are more efficient than computers. For example in image recognition, image tagging, natural language understanding and processing, humans often find complicated algorithms quite easy to grasp. This thesis presents the different case studies to learn human mapping strategy to solve the mapping problem in the area of coarse-grained reconfigurable architectures (CGRAs). To achieve optimum level performance and consume less energy in CGRAs, place and route problem has always been a major concern. Making use of human characteristics can be helpful in problems as such, through pattern recognition and experience. Therefore to conduct the case studies a computer mapping game called UNTANGLED was analyzed as a medium to convey insights of human mapping strategies in a variety of architectures. The purpose of this research was to learn from humans so that we can come up with better algorithms to outperform the existing algorithms. We observed how human strategies vary as we present them with different architectures, different architectures with constraints, different visualization as well as how the quality of solution changes with experience. In this work all the case studies obtained from exploiting human strategies provide useful feedback that can improve upon existing algorithms. These insights can be adapted to find the best architectural solution for a particular domain and for future research directions for mapping onto mesh-and- stripe based CGRAs.

No description available.

This diploma thesis deals with transformation of passive elements in filter structures onto substitutes with new active element CFTA. A basic characteristic, types of filters, their frequency characteristics and a form of transfer functions are listed in an introduction. After it is introduced a development of signal flow graphs, single type of graphs and their modifications. There is specified the method Mason-Coates graphs which proves as optimal for analysis circuits. There are listed rules for a correct evaluation and make-up the graphs. Further are described active elements CFTA, CDTA and a current conveyor. There are defined active substitutes to a floating and grounded inductance, a floating capacitor and also a floating and grounded resistor in this thesis. Here, there are also designed substitutes to parallel combinations of floating passive elements. All substitutes use CFTA as an active element and the grounded capacitor as a passive element of substitute. There are presented forms of M-C graphs, transfer functions and equations for calculation passive elements of substitute at created equivalents. Functionality of designed substitutes is always verified on second order passive filters by the help of a PC simulation. There are tabular listed defined equivalents with corresponding signal graphs, transfer functions and equations for calculation capacitor of substitute are here tabular listed too. In this work there are defined two ways of connecting defined substitutes within the scope of one circuit that can be used as a simple connection or integration bounded elements. In the case of usage of the integration bounded elements it is possible to reduce total number used active elements. The usage defined substitutions are verified by way of both methods on known higher order passive frequency filter structures. Third order low pass filter is here realized and scaled in frequency scope from 100 Hz to 100 MHz.

This master’s thesis describes the design of the frequency filters by the help of the graph of the signal flows. There are defined by modern components like GVC (Generalized Voltage Conveyor), GCC (Generalized Current Conveyor), CF (Current Follower), DO-CF (Dual-Output Current Follower), OTA (Operational Transconductance Amplifier), BOTA (Ballanced Operational Transconductance Amplifier) and CFTA (Current Follower Transconductance Amplifier), the graphs of the signal flows, which describe their activity in the thesis. In the other part of the thesis is illustrated the procedure of the design of the frequency filters by the help of the graphs of the signal flows. For the concrete design was selected in the first case as the active component double output current follower and in the second case the CFTA. There are noted all designed circuits of the frequency filters also their characteristic equations in this thesis. The activity of the selected circuits was remitted to the analysis in the simulation program called PSpice. Because the active components, with which was engaged in the design of the filter which doesn’t exist in the real form, that is why the UCC, which is sufficing for attestation of the function of the circuit, was used for the simulation. The simulation was implemented in the frequency range 10 Hz to 10 MHz.

This doctoral thesis deals with a voltage conveyor as a new active element for an analog signal processing. Various types of the voltage conveyors have been defined as a dual active elements to current conveyors based on a duality principle. Conception of a new active element that can supply all types of the voltage conveyors have been proposed. The active element has been named an universal voltage conveyor – UVC. A voltage follower is a basic building block of the UVC. The well-known circuit realization of the voltage follower comes from four transconductance amplifiers with key parameters (voltage transfer and output resistance) derived from relative accuracy of used transconductance amplifiers has been used by UVC fabrication. A new circuit realization of the voltage follower comes from three transconductance amplifiers with key parameters also derived from relative accuracy of used transconductance amplifiers has been designed. Further the doctoral thesis deals with a frequency filter with the voltage conveyors design using signal flow graphs. Various graphs of the voltage conveyors comes from the various circuit analysis methods with non-regular active elements have been created. A basic graph of the voltage conveyor has been designed with help of a known controlled sources graphs. This graph have been used to design of multifunctional frequency filters, filters with high input and low output impedance and controlled frequency filters. A design procedure have been created so that in specific step of the frequency filter design the basic graph of the voltage conveyor could be extended to graph of any type of the voltage conveyor. Thereby a practical usage of various types of the voltage conveyors has been finding out. Further a new method of frequency filter design based on expanding of the signal flow has beenproposed.

The dissertation thesis deals with the synthesis and design of active frequency filters using current (CC) and voltage (VC) conveyors, or current active elements CMI (Current Mirror and Inverter), MCMI (Multi-output CMI) and PCA (Programmable Current Amplifier). As introduction, these active elements are described as suitable for the design of the circuits working in the voltage-, current,- ,and mixed-mode, or in pure current-mode speaking about the current active elements. The new frequency filter structures presented in this thesis using the above mentioned active elements were designed by the generalized autonomous circuit method, transformation cells and signal flow-graph theory. The generalized autonomous circuit method is based on full admittance network to which generalized active elements are connected. The described admittance networks can be used for other active elements. The next method is based on the transformation cells that subsequently are used for the design of synthetic elements with higher-order imittance. Original conditions for the design of such blocks are given that lead to maximal simplicity of the final structure with minimal number of passive and active elements. For effective usage of another method utilizing signal flow-graphs, new reduced graphs of chosen active elements are given. Their usage leads to direct function blocks synthesis with required properties. The functionality and behavior of chosen circuit solutions have been verified by analyses in simulation programs. The active elements were simulated by the universal current conveyor (UCC) or universal voltage conveyors (UVC) that were designed at the FEEC, BUT in cooperation with AMI Semiconductor Design Centre Brno with the CMOS 0.35 m technology. These active elements have been also used for the realization of chosen filter structures. The experimental measurements were performed in the in the frequency range 10 KHz to 100 MHz.

State explosion in model checking continues to be the primary obstacle to widespread use of software model checking. The large input ranges of variables used in software is the main cause of state explosion. As software grows in size and complexity the problem only becomes worse. As such, model checking research into data abstraction as a way of mitigating state explosion has become more and more important. Data abstractions aim to reduce the effect of large input ranges. This work focuses on a static program analysis technique called dead variable analysis. The goal of dead variable analysis is to discover variable assignments that are not used. When applied to model checking, this allows us to ignore the entire input range of dead variables and thus reduce the size of the explored state space. Prior research into dead variable analysis for model checking does not make full use of dynamic run-time information that is present during model checking. We present an algorithm for intraprocedural dead variable analysis that uses dynamic run-time information to find more dead variables on-the-fly and further reduce the size of the explored state space. We introduce a definition for the maximal state space reduction possible through an on-the-fly dead variable analysis and then show that our algorithm produces a maximal reduction in the absence of non-determinism.

This thesis deals with the synthesis and optimization of frequency analogue filters with modern active elements usable for higher frequencies. The thesis is divided into three parts, the first part deals with the problematic concerning Leap-Frog combined ARC structure. Due to a difficult design, this method is not described in a detail and used in practice, although it shows e.g. low sensitivity. Firstly, a complete analysis of individual filters was made (for and T endings) and consequently these findings were used during implementation of this method to NAF program. Finally, samples of real filters were realized (for verification of functioning and correct design). Another very interesting topic concerning filters is usage of coupled band-pass for small bandwidth, where it is necessary to solve the problems concerning ratio of building elements values, but also price, quality, size of coils, sensitivity, Q factors, coefficients etc. That is why in practice a coil is very often substituted with other equivalent lossy and lossless blocks which create ARC filters structure. The design and the possibility of usage of lossy grounded elements were described here (such as synthetic inductors, frequency dependent negative resistor). Some parts of the design are individual computer sensitivity analysis, setting of usage and quality comparison of individual lossy grounded blocks. Besides, a program for these elements was created, it is useful for a quick design and depiction of transfer characteristics. The third part deals with the usage of tuning universal filters consisting three or more operational amplifiers, which secures its universality and possibility to create different kinds of transfer characteristic. In practice, Akerberg - Mossberg and Kerwin - Huelsman - Newcomb are the most used types of filters. These were also compared with less common universal filters. In the end, the possibility of digital tuning of universal filter with the help of digital potentiometers for filters of 10th order and frequency around 1 MHz was shown.