Model-checking tools such as Symbolic Model Verifier (SMV) and NuSMV are available for checking hardware designs. These tools can automatically check the formal legitimacy of a design. However, NuSMV is too low level for describing a complete hardware design. It is therefore necessary to translate the system definition, as designed in a language such as Verilog or VHDL, into a language such as ...

This paper present a survey and discussion of the Reference Model for Open Distributed Processing (RM-ODP) viewpoints; oriented approaches to requirements engineering viewpoint and a presentation of new work in the application wireless mobile phone, this area which has been designed with practical application using the Unified Modelling Language (UML)/VHDL_AMS (VHSIC Hardware Description Langua...

An ideal test is supposed to show not only the presence of bugs but also their absence. Based on Fundamental Test Theory Goodenough and Gerhart (IEEE Trans Softw Eng SE-1(2):156–173, 1975), this paper proposes an approach model-based testing hardware description language (HDL) programs based behavioral model. sequences are generated from both original (fault-free) mutant (faulty) models in sens...

1 I n t r o d u c t i o n Modern hardware design typically uses hardware description languages to express designs at various levels of abstraction. A hardware description language is a high level programming language, with the usual programming constructs such as assignments, conditionals and iterations, and appropriate extensions for real-time, concurrency and data structures suitable for mode...

The work presented here is a first study made at ESEO1 by the research team TRAME (Model Transformations for Embedded Systems) for the semiconductor company ATMEL Nantes. This experiment consists in exploring the possibilities of ModelDriven Development (MDD) and model transformation in the context of digital hardware design. Through the definition of several meta-models and model transformatio...

The Unified Modeling LanguageTM (UML) has received a wide acceptance in the area of software engineering over the last years. In its last revision, UML [4] (i.e., UML 2.0) is composed of a set of structural (classes, components, composite structures, deployments) and behavioral concepts (actions, activities, state machines, interactions, use cases), which are clearly separated from their visual...

In recent years video and image compression have became very required . The availability of powerful software design tools is a fundamental requirement to take advantage of the many advanced and specialized resources included in the latest devices. Video acceleration and processing technologies have become critical for the development of many consumer electronics products. In this paper, we inv...

54 0740-7475/00/$10.00 © 2000 IEEE IEEE Design & Test of Computers BENCHMARKS ARE IMPORTANT vehicles that let industry and academia develop new tools, compare and contrast different methodologies, and research new algorithms and techniques. In design-for-testability (DFT) work, the standard sets have been the International Symposium on Circuits and Systems (ISCAS) ’85 and ’89 circuits.1,2 These...

In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description languages have been developed. Like conventional hardware description languages, however, functional hardware description languages eventually convert all source programs into netlists, which describe wire connections in...