The HIFSuite ia a set of tools and APIs that provide support for modelling and verification of HW/SW systems by allowing manipulation and integration of HDL heterogeneous descriptions.

ion While the coverage-driven design validation is getting popular, it would be more convenient for users to have an automatic generator that can generate the input patterns to satisfy the coverage requirements. The symbolic techniques can be used to generate the desired input patterns easily for a specific state transition in a FSM. However, it is not practical for real designs because the mem...

of ox-LDL, (ii) This inhibitory effect was dose-dependent and was re]ated to the degree of oxidation of LDL, (iii) As this inhibitoTy effbct was not prevented by antioxidants, it is suggested that it does not occur via oxidation of substrate HDL These results suggest that cholesterol reyerse-translK)rt via HDL may be affbcted by ox-I.DL and they are noteworth}' in suggesting a new physio]ogical...

This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such a way that a circuit implementation is always guaranteed. Moreover, a set of transformations is presented for the subclass of Free-Choice Petri nets that enables the exploration of different solutions. The set of tran...

This paper summarizes the results of a simulation study of single processors architectures for graphics. The entire work is done from point-of-view of RISC/CISC style classification. A comparison between various categories is evaluated using HDL description of representative processors, as well as simulations based on ENDOT simulation tools.

This paper presents an approach to the study programs applied for the subject Logic Design of Computer Systems II. Study program of this subject is based on unified embedded engineering learning platform, E2LP. E2LP intended to cover complete process of embedded systems learning, considering modular approaches for unifying education in relevant embedded system technologies. Study approach in th...

Teams face a wide variety of tasks, have a wide variety of work styles, and may work in geographically distributed locations. While many people believe networked computers will enhance teamwork, research into how this will be accomplished is in its infancy. And... while networks are getting faster and cheaper, they are often overloaded. Computer systems supporting teams must adapt to a wide var...