The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The use of Python as a high level productivity language on top of high performance libraries written in C++ requires efficient, highly functional, and easy-to-use cross-language bindings. C++ was standardized in 1998 and up until 2011 it saw only one minor revision. Since then, the pace of revisions has increased considerably, with a lot of improvements made to expressing semantic intent in interface...
Modern VLSI and FPGA chip designs utilize automated generation of the structure and component configuration for different product variations. This is based on re-usable, parametrized library components, and tools for definition, assembly, configuration and generation of final HW and SW code. A product version includes several structural hierarchies, in which each component is independently reusable...
A typical floating-point environment includes support for a small set of about 30 mathematical functions such as exponential, logarithm, trigonometric and hyperbolic functions. These functions are provided by mathematical software libraries (libm), typically in IEEE754 single, double and quad precision. This article suggests to replace this libm paradigm by a more general approach: the on-demand generation...
This work presents the application of a mixed strategy that combines Constrained Random Tests (CRT) and Coverage Driven Verification (CDV) as well as the development of a coverage model for Floating Point Unit (FPU) designs. The proposed strategy is materialized in two key verification components for functional verification: an input generator and a verification monitor. The generator module creates...
In this study we propose a series of test parameters for random number generators in order to analyze the uniformity and the degree of correlation of generated numbers. The present analysis was applied to a series of standard generators used in libraries of the usual programming languages such as: C/C++, Java and Fortran. Besides using some standard tests, new parameters that provide a more adequate...
The increasing complexity in the development of embedded system applications is necessitating system modularization, parallelization and component portability. Finding the best solution to combine component reuse and platform optimization is not an easy and straightforward task, especially when considering the different APIs supported to provide communication and concurrency on the different boards...
Genetic Algorithms represent a technique of Artificial Intelligence which has developed from the paradigm of biological evolution. They use a population of potential solutions which gradually evolve toward the best solution which satisfies an objective function. By their nature, Genetic Algorithms use random numbers. In a typical algorithm running, a random number generator is used in many occasions,...
This paper deals with a computational simulation of high speed CAN bus physical layer using SPICE. At the beginning, the general electric parameters of the physical layer are described — these parameters are in compliance with the international standard ISO 11898–2. The next part of the paper describes a SPICE library, which contains all basic electronic parts of physical layer, including CAN transceivers,...
IP-XACT, the recent IEEE1685 standard, defines metadata format for IP packing and integration in System-on-Chip designs. It was originally proposed for hardware descriptions, but we have extended it for software, HW/SW mappings and application communication abstraction. The latter is realized with Multicore Association MCAPI that is a lightweight message passing interface. In this paper we present...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.