Systém pro programování a realizaci vestavěných systémů |
| Hlavní řešitel: | Masařík Karel |
|---|
| Spoluřešitelé: | Hruška Tomáš |
|---|
| Agentura: | MPO ČR |
| Kód: | FR-TI1/038 |
| Začátek: | 2009 |
| Konec: | 2013 |
Produkty
| 2011 | Mikroprocesor ADOP, funkční vzorek, 2011
Autoři: Hruška Tomáš, Masařík Karel, Přikryl Zdeněk, Husár Adam, Fujcik Lukáš, Pristach Marián |
|
Publikace
| 2013 | Charvát, L., Smrčka, A., Vojnar, T.: An Abstraction of Multi-Port Memories with Arbitrary Addressable Units, In: Proceedings of the 14th Computer Aided Systems Theory??, Las Palmas de Grand Canaria, ES, 2013, s. 1-9 |
| | Šimková, M., Přikryl, Z., Hruška, T., Kotásek, Z.: Automated Functional Verification of Application Specific Instruction-set Processors, In: The IESS 2013 Proceedings, Heidelberg, DE, Springer, 2013, s. 1-10 |
| 2012 | Dolíhal, L., Hruška, T., Masařík, K.: Testing of an automatically generated compiler, Review of retargetable testing system, In: International Journal on Advances in Software, roč. 2012, č. 1, US, s. 15-26, ISSN 1942-2628 |
| | Dolíhal, L., Hruška, T., Masařík, K.: Usage of simulators in testing system, In: Industrial Simulation Conference, Brno, CZ, EUROSIS, 2012, s. 74-78, ISBN 978-90-77381-71-7 |
| | Charvát, L., Smrčka, A., Vojnar, T.: Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description, In: Proceedings of the 13th International Workshop on Microprocessor Test and Verification (MTV 2012), Austin, TX, US, 2012, s. 42-47 |
| 2011 | Dolíhal, L., Hruška, T.: Porting of C library, Testing of generated compiler, In: InfoWare 2011, Luxembourg, LU, IARIA, 2011, s. 125-130, ISBN 978-1-61208-008-6 |
| | Ďurfina, L., Křoustek, J., Zemek, P., Kolář, D., Hruška, T., Masařík, K., Meduna, A.: Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis, In: The 5th International Conference on Information Security and Assurance, Brno, CZ, Springer, 2011, s. 72-86, ISBN 978-3-642-23140-7 |
| | Ďurfina, L., Křoustek, J., Zemek, P., Kolář, D., Hruška, T., Masařík, K., Meduna, A.: Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis, In: International Journal of Security and Its Applications, roč. 5, č. 4, 2011, Daejeon, KR, s. 91-106, ISSN 1738-9976 |
| | Křoustek, J., Přikryl, Z., Kolář, D., Hruška, T.: Retargetable Multi-level Debugging in HW/SW Codesign, In: The 23rd International Conference on Microelectronics (ICM 2011), Hammamet, TN, IEEE, 2011, s. 1-6, ISBN 978-1-4577-2209-7 |
| | Křoustek, J., Židek, S., Kolář, D., Meduna, A.: Scattered Context Grammars with Priority, In: International Journal of Advanced Research in Computer Science, roč. 2, č. 4, 2011, Udaipur, IN, s. 1-6, ISSN 0976-5697 |
| | Přikryl, Z., Křoustek, J., Hruška, T., Kolář, D., Masařík, K., Husár, A.: Design and Simulation of High Performance Parallel Architectures Using the ISAC Language, In: GSTF International Journal on Computing, roč. 1, č. 2, 2011, Singapur, SG, s. 97-106, ISSN 2010-2283 |
| | Přikryl, Z., Křoustek, J., Hruška, T., Kolář, D.: Fast Just-In-Time Translated Simulation for ASIP Design, In: 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Cottbus, DE, IEEE CS, 2011, s. 279-282, ISBN 978-1-4244-9753-9 |
| | Přikryl, Z., Křoustek, J., Hruška, T., Kolář, D.: Fast Translated Simulation of ASIPs, In: OpenAccess Series in Informatics (OASIcs), roč. 16, č. 1, 2011, Wadern, DE, s. 93-100, ISSN 2190-6807 |
| | Př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 |
| 2010 | Husá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 |
| | Husár, A., Trmač, M., Hranáč, J., Hruška, T., Masařík, K., Kolář, D., Přikryl, Z.: Automatic C Compiler Generation from Architecture Description Language ISAC, In: 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2010, s. 84-91, ISBN 978-80-87342-10-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 |
| | Přikryl, Z., Hruška, T., Masařík, K., Husár, A.: Fast Cycle-Accurate Compiled Simulation, In: 10th IFAC Workshop on Programmable Devices and Embedded Systems, PDeS 2010, Pszczyna, PL, IFAC, 2010, s. 97-102, ISBN 978-3-902661-95-1, ISSN 1474-6670 |
| | Přikryl, Z., Husár, A., Hruška, T., Masařík, K.: ASIP Design in the Lissom Project, In: ACACES 2010 - Poster Abstracts, Ghent, BE, HiPEAC, 2010, s. 105-108, ISBN 978-90-382-1631-7 |
| | Přikryl, Z., Křoustek, J., Hruška, T., Kolář, D., Masařík, K., Husár, A.: Design and Debugging of Parallel Architectures Using the ISAC Language, In: Proceedings ot the Annual International Conference on Advanced Distributed and Parallel Computing and Real-Time and Embedded Systems, Singapore, SG, GSTF, 2010, s. 213-221, ISBN 978-981-08-7656-2 |
| | Přikryl, Z., Křoustek, J., Hruška, T., Kolář, D.: Fast Translated Simulation of ASIPs, In: 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2010, s. 135-142, ISBN 978-80-87342-10-7 |
| | Přikryl, Z., Masařík, K., Hruška, T., Husár, A.: Generated Cycle-Accurate Profiler for C Language, In: 13th EUROMICRO Conference on Digital System Design, DSD'2010, Lille, FR, IEEE CS, 2010, s. 263-268, ISBN 978-0-7695-4171-6 |
| | Trmač, M., Husár, A., Hranáč, J., Hruška, T., Masařík, K.: Instructor Selector Generation from Architecture Description, In: 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2010, s. 167-174, ISBN 978-80-87342-10-7 |
| 2009 | Husá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.: Analýza a převod kódů do vyššího programovacího jazyka, In: Proceedings of the 15th Conference STUDENT EEICT 2009, Brno, CZ, VUT v Brně, 2009, s. 196-198, ISBN 978-80-214-3868-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 |
|
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)