Prof. Ing. Tomáš Hruška, CSc.

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 Zdeněk: 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 Adam, Hruška Tomáš, Masařík Karel, Přikryl Zdeněk: 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 Adam, Hruška Tomáš, Trmač Miloslav, Přikryl Zdeněk: 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 Jakub, Židek Stanislav, Kolář Dušan, Meduna Alexander: 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 Jakub, Židek Stanislav: 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 Adam, Přikryl Zdeněk, Masařík Karel, Hruška Tomáš: 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 Jakub: 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 Zdeněk, Hruška Tomáš: 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 Zdeněk, Masařík Karel, Hruška Tomáš, Husár Adam: 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 Tomáš, Kolář Dušan, Lukáš Roman, Zámečníková Eva: 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 Karel: 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 Zdeněk, Hruška Tomáš, Masařík Karel: 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 Zdeněk, Hruška Tomáš, Masařík Karel: 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 Jakub: 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 Karel, Hruška Tomáš, Kolář Dušan, Lukáš Roman: 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 Karel, Hruška Tomáš: 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 Karel, Hruška Tomáš, Kolář Dušan: 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 Karel, Hruška Tomáš: 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 Karel, Hruška Tomáš: 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

Your IPv4 address: 54.224.75.101
Switch to IPv6 connection

DNSSEC [dnssec]