Detail výsledku

Fast Cycle-Accurate Interpreted Simulation

PŘIKRYL, Z.; MASAŘÍK, K.; HRUŠKA, T.; HUSÁR, A. Fast Cycle-Accurate Interpreted Simulation. Tenth International Workshop on Microprocessor Test and Verification: Common Challenges and Solutions. Austin: IEEE Computer Society Press, 2009. p. 9-14. ISBN: 978-0-7695-4000-9.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Přikryl Zdeněk, Ing., Ph.D., FIT (FIT), UIFS (FIT)
Masařík Karel, Ing., Ph.D., UIFS (FIT)
Hruška Tomáš, prof. Ing., CSc., UIFS (FIT)
Husár Adam, Ing., Ph.D., FIT (FIT), UIFS (FIT)
Abstrakt

Thearea of hardware/software co-design deals with the design of ASIPs(Application Specific Instruction-setProcessors) because they often create the core of an embedded system.Embedded systems with ASIPs are designed for a given task and theyhave to fulfill several criteria, such as power consumption, chip size,etc. The success of the design phase is closely related to theexistence of good design tools, i.e. tools for ASIP programming andsimulation. The simulation itself is very important, because with itwe can verify and validate an ASIP design. For this purpose, ASIPsare described using an architecture description language that allowsgenerating the design tools in an automatic way. In this article, wefocus on presenting the principles which are used in our fastcycle-accurate interpreted simulator. Beside the simulation speed, wealso focus on equivalence assurance between an ASIP simulator and itshardware realization.

Klíčová slova

Hardware/softwareco-design; ASIP; Architecture description language; Cycle accurateinterpreted simulation; Formal models.

Rok
2009
Strany
9–14
Sborník
Tenth International Workshop on Microprocessor Test and Verification: Common Challenges and Solutions
Konference
Microprocessor Test and Verification
ISBN
978-0-7695-4000-9
Vydavatel
IEEE Computer Society Press
Místo
Austin
BibTeX
@inproceedings{BUT30917,
  author="Zdeněk {Přikryl} and Karel {Masařík} and Tomáš {Hruška} and Adam {Husár}",
  title="Fast Cycle-Accurate Interpreted Simulation",
  booktitle="Tenth International Workshop on Microprocessor Test and Verification: Common Challenges and Solutions",
  year="2009",
  pages="9--14",
  publisher="IEEE Computer Society Press",
  address="Austin",
  isbn="978-0-7695-4000-9"
}
Projekty
Jazyk a vývojové prostředí pro návrh mikroprocesoru, MPO, TANDEM, FT-TA3/128, zahájení: 2006-01-01, ukončení: 2010-06-30, ukončen
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů, GAČR, Doktorské granty, GD102/09/H042, zahájení: 2009-01-30, ukončení: 2012-12-31, ukončen
Systém pro programování a realizaci vestavěných systémů, MPO, TIP, FR-TI1/038, zahájení: 2009-07-01, ukončení: 2013-06-30, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Pracoviště
Nahoru