System for design and simulation of microprocessors

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F05%3APU56403" target="_blank" >RIV/00216305:26230/05:PU56403 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

System for design and simulation of microprocessors

Original language description

This article provides an introduction into the architecture description<br>languages, which are used for design of embedded systems. Base on higher<br>requirements on development of modern microprocessors (reduction of<br>development time, short time ofverification etc.), we created new language<br>and unified environment, which are used in&nbsp; branch of HW/SW co-design.<br>This article engages with analysis of designed language (specification of<br>its properties) and development tools and methodoloogies, which are necessary<br>in development of Application Specific Instruction-set Microprocessors.<br>At the end of this article the structure of developed framework is<br>introduced in short.<br>

Czech name

Systém pro návrh a simulaci mikroprocesorů

Czech description

Tento článek poskytuje úvod do jazyků, které jsou v současné době použitelné pro návrh mikroprocesorů pro vestavěné systémy. Vzhledem ke zvyšujícím se nárokům na vývoj moderních mikroprocesorů (redukce času návrhu, snížení času verifikace apod.), jsme vytvořili nový jazyk a unifikované vývojové prostředí, které jsou použity v odvětví HW/SW co-designu.<br>Článek se zabývá analýzou vyvíjeného jazyka (specifikace vlastnosti) a blíže softwárovými nástroji a metodologiemi, jež jsou užity při vývoji aplikačněě specifických instrukčních mikroprocesorů. <br>V závěru je uveden nástin struktury vytvářeného frameworku.<br>

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/GA102%2F05%2F0723" target="_blank" >GA102/05/0723: A Framework for Formal Specifications and Prototyping of Information System's Network Applications</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2005

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of 8th Spring International Conference - ISIM'05

ISBN

80-86840-09-3

ISSN

—

e-ISSN

—

Number of pages

8

Pages from-to

269-276

Publisher name

NEUVEDEN

Place of publication

Ostrava

Event location

Hradec nad Moravicí

Event date

Apr 19, 2005

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—