A Hardware/Software Configuration and Verification Environment for Automation of Embedded Microcontroller Design Process

摘要

Our paper presents an embedded microcontroller design process with emphasis on configurability. Identification criteria for parameterisation of modeling and synthesis process are discussed. The paper introduces a HW/SW verification environment that cooperates with generated microcontroller models to offer designers a user-friendly way to validate their designs. It is possible to include generated microcontrollers into a variety of systems with given requirements.