High-Level Specification of Behavioural Hardware Models with MODES
نویسندگان
چکیده
The ever increasing complexity of digital hardware, forces the hardware designer to switch from a low-level capture-andsimulation process to a high-level design-and-synthesis process. In order to assist the designer during the specification phase, we designed MODES, a new high-level specification environment. MODES integrates graphical specification capture in various behavioural representations, a facility to merge various specification formats, a high-level simulation tool and, finally, code generation for simulation and synthesis, e.g. in VHDL-1076, IEEE's hardware description language. Furthermore, some verification and consistency-check mechanisms have been integrated.
منابع مشابه
Object-oriented Analysis and System Level Architecture
The growing complexity of hardware/software systems requires a system level specification and design approach. There are many practical problems in the application of object-oriented methods for this goal. Our aim is to explore the use of formal executable models on a system level as an approach for hardware/software co-specification. This paper reports experiences in developing executable spec...
متن کاملA Graphical Approach to Analogue Behavioural Modelling
In order to master the growing complexity of analogue electronic systems, modelling and simulation of analogue hardware at various levels is absolutely necessary. This paper presents an original modelling method based on the graphical description of analogue electronic functional blocks. This method is intended to be automated and integrated into a design framework: specialists create behaviour...
متن کاملBehavioural Synthesis of an Adaptive Viterbi Decoder
The synthesis of a hardware implementation of a Viterbi decoder from a behavioural specification is discussed. This is applied to a parallelized version of a BCH decoder. A parameterizable high-level VHDL model of the parallel decoder has been developed. Scalability of the parallel decoder in hardware is demonstrated. An extension of this technique to an adaptive decoder is discussed.
متن کاملAn Expert Assistant for Hardware Systems Specification
This paper presents the Module Manager as a novel approach to assist the designer in the specification of hardware systems. This flexible expert system proposes, at a high level of abstraction, behavioral solutions that match the designer's requirements. Models are selected from a repository composed of designs previously specified within the MODES environment. Thereby, the Module Manager allow...
متن کاملAutomatic Mapping from Statecharts to Verilog
Statecharts is a visual formalism suitable for high-level system specification, while Verilog is a hardware description language that can be used for both behavioural and structural specification of (hardware) systems. This paper implements a semantics-preserving mapping from Graphical Statecharts to Verilog programs, which, to the best of our knowledge, is the first algorithm to bridge the gap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994