Projekty

 

Jazyk a vývojové prostředí pro návrh mikroprocesoru
Hlavní řešitel:Kurečka Radomír
Spoluřešitelé:Hruška Tomáš
Další řešitelé:Masařík Karel
Agentura:MPO ČR
Kód:FT-TA3/128
Začátek:2006
Konec:2010
Klíčová slova:HW/SW co-design, vestavěný systém, mikroprocesor, SoC, ASIP, ISAC
Anotace:
Projekt Jazyk a vývojové prostředí pro návrh mikroprocesoru je zaměřen na výzkum jazyka pro popis mikroprocesoru a metod pro transformaci modelu mikroprocesoru. Tyto metody budou použity pro návrh podpůrných softwarových nástrojů, které by samotný vývoj zefektivnily a v mnoha ohledech plně automatizovaly. Cílem je vytvoření vývojového prostředí, které umožní provést kompletní vývoj mikroprocesoru co nejefektivněji v minimálním čase. S tím souvisí i podpora vytváření modelu mikroprocesoru pomocí vyvíjeného grafického nástroje.

Produkty

Publikace

2011Přikryl, Z.: Advanced Methods of Microprocessor Simulation, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 3, č. 3, 2011, Bratislava, SK, s. 1-13, ISSN 1338-1237
2010Husár, A., Hruška, T., Masařík, K., Přikryl, Z.: Instruction Pipeline Modeling using Petri Nets, In: Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10, Universität Hamburg, DE, TU-HH, 2010, s. 163-164, ISBN 978-972-8692-55-1
 Husár, A., Hruška, T., Trmač, M., Přikryl, Z.: Instruction Selection Patterns Extraction from Architecture Specification Language ISAC, In: Proceedings of the 16th Conference Student EEICT 2010 Volume 5, Brno, CZ, FIT VUT, 2010, s. 166-170, ISBN 978-80-214-4080-7
 Křoustek, J., Židek, S., Kolář, D., Meduna, A.: Exploitation of Scattered Context Grammars to Model VLIW Instruction Constraints, In: Proceedings of the 12th Biennial Baltic Electronics Conference, Tallinn, EE, IEEE, 2010, s. 165-168, ISBN 978-1-4244-7357-1
 Křoustek, J., Židek, S.: Generating Proper VLIW Assembler Code Using Scattered Context Grammars, In: Proceedings of the 16th Conference Student EEICT 2010 Volume 5, Brno, CZ, FIT VUT, 2010, s. 181-185, ISBN 978-80-214-4080-7
2009Husár, A., Přikryl, Z., Masařík, K., Hruška, T.: ASIP Design using Architecture Description Language ISAC, In: ACACES 2009 - Poster Abstracts, Ghent, BE, HiPEAC, 2009, s. 137-139, ISBN 978-90-382-1467-2
 Křoustek, J.: Usage of Decompilation in Processor Architecture Modeling, In: Proceedings of XXXIth International Autumn Colloquium Advanced Simulation of Systems, Ostrava, CZ, MARQ, 2009, s. 64-67, ISBN 978-80-86840-47-5
 Přikryl, Z., Hruška, T.: Cycle Accurate Profiler for ASIPs, In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2009, s. 168-175, ISBN 978-80-87342-04-6
 Přikryl, Z., Masařík, K., Hruška, T., Husár, A.: Fast Cycle-Accurate Interpreted Simulation, In: Tenth International Workshop on Microprocessor Test and Verification: Common Challenges and Solutions, Austin, US, ICSP, 2009, s. 9-14, ISBN 978-0-7695-4000-9
2008Hruška, T., Kolář, D., Lukáš, R., Zámečníková, E.: Two-Way Coupled Finite Automaton and Its Usage in Translators, In: New Aspects of Circuits, Heraklion, GR, WSEAS, 2008, s. 445-449, ISBN 978-960-6766-82-4, ISSN 1790-5117
 Masařík, K.: Systém pro souběžný návrh technického a programového vybavení počítačů, Brno, CZ, FIT VUT, 2008, s. 156, ISBN 978-80-214-3863-7
 Přikryl, Z., Hruška, T., Masařík, K.: Distributed Simulation and Profiling of Multiprocessor Systems on a Chip, In: WSEAS Transactions on Circuits, roč. 7, č. 8, 2008, Athens, GR, s. 788-799, ISSN 1109-2734
 Přikryl, Z., Hruška, T., Masařík, K.: Simulation of ASIP on SoC, In: New Aspects of Systems, Heraklion, GR, WSEAS, 2008, s. 192-197, ISBN 978-960-6766-83-1, ISSN 1790-2769
2007Křoustek, J.: Analýza a transformace kódů, In: Proceedings of the 13th Conference STUDENT EEICT 2007, Brno, CZ, VUT v Brně, 2007, s. 152-154, ISBN 978-80-214-3407-3
 Masařík, K., Hruška, T., Kolář, D., Lukáš, R.: Roční zpráva 2007 projektu FT-TA3/128 Jazyk a vývojové prostředí pro návrh mikroprocesoru, Brno, CZ, UIFS FIT VUT, 2007, s. 1-31
 Masařík, K., Hruška, T.: Structural Equivalence between Architectural Descriptive and Hardware Languages, In: A proceedings volume from the 4th International Conference on Cybernetics and Information Technologies, Systems and Applications CITSA 2007, Florida, US, IIIS, 2007, s. 40-45, ISBN 1-934272-10-8
2006Masařík, K., Hruška, T., Kolář, D.: Language and Development Environment For Microprocessor Design Of Embedded Systems, In: Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006, Brno, CZ, FEKT VUT, 2006, s. 120-125, ISBN 80-214-3130-X
 Masařík, K., Hruška, T.: UML as Architecture Description Language, In: MOSIS'06, Proceedings of 40th Conference "Modelling and Simulation of Systems", Ostrava, CZ, MARQ, 2006, s. 41-48, ISBN 80-86840-21-2
 Masařík, K., Hruška, T.: UML in Design of ASIP, In: A proceedings volume from the 3rd IFAC Workshop on Discrete-Event System Design DESDes'06, Zielona Gora, PL, University of Zielona Gora, 2006, s. 209-214, ISBN 83-7481-035-1