Projects

 

Language and development environment for microprocessor design
Reseach leader:Kurečka Radomír
Team leaders:Hruška Tomáš
Team members:Masařík Karel
Agency:MPO ČR
Code:FT-TA3/128
Start:2006
End:2010
Keywords:HW/SW co-design, embedded system, mikroprocessor, SoC, ASIP, ISAC
Annotation:
The project Language and development environment for microprocessor design is focused on the research of the language for description of microprocessor and methods for transformation of microprocessor's model.

These methods will be used for design of support software tools which would make the development more efficient and in some aspects fully automatized. The goal is to create language and software environment which make complete development of microprocessor in most efficient way and shortest time possible. The support of creating of the microprocessor's model using developing graphical tool is connected with this task.

Products

Publications

2011Přikryl, Z.: Advanced Methods of Microprocessor Simulation, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, Vol. 3, No. 3, 2011, Bratislava, SK, p. 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, p. 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, p. 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, p. 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, p. 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, p. 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, p. 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, p. 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, p. 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, p. 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, p. 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, Vol. 7, No. 8, 2008, Athens, GR, p. 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, p. 192-197, ISBN 978-960-6766-83-1, ISSN 1790-2769
2007Křoustek, J.: Code Analysis and Transformation, In: Proceedings of the 13th Conference STUDENT EEICT 2007, Brno, CZ, VUT v Brně, 2007, p. 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, p. 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, p. 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, p. 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, p. 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, p. 209-214, ISBN 83-7481-035-1