Události

Testování a verifikace mikroprocesorů

Austin, TX 15.-17.12.2014

Vybrané publikace

2014CHARVÁT Lukáš, SMRČKA Aleš a VOJNAR Tomáš. Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors. In: Proceedings of 15th International Workshop on Microprocessor Test and Verification (MTV 2014). Austin, TX: IEEE Computer Society, 2014, s. 83-89. ISBN 978-1-4673-6858-2.
 PŘIKRYL Zdeněk. Fast Simulation of Pipeline in ASIP Simulators. In: 15th International Workshop on Microprocessor Test and Verification. Austin: IEEE Computer Society, 2014, s. 1-6. ISBN 978-0-7695-4000-9.

Vaše IPv4 adresa: 34.229.76.193
Přepnout na https