Ing. Ivo Háleček
Ph.D. student, KČN FIT ČVUT
Digital Design & Dependability Research Group
Teaching
- BI-ARD - Interaktivní aplikace s Arduinem
Publications
- Háleček, I.; Fišer, P.; Schmidt, J.
On XAIG rewriting
- Háleček, I.; Fišer, P.; Schmidt, J.
Are XORs in logic synthesis really necessary?
- Háleček, I.; Fišer, P.; Schmidt, J.
Utilization of XOR gates in logic synthesis
In: Proceedings of the 4th Prague Embedded Systems Workshop. Praha: ČVUT FIT, Katedra číslicového návrhu, 2016. ISBN 978-80-01-05984-5.
- Háleček, I.; Fišer, P.; Schmidt, J.
On Identification of XOR Gates in AIGs
In: Proceedings of the Work in Progress Session of the 18th EUROMICRO Conference on Digital System Design. Sangt Augustin: Euromicro, 2015, ISBN 978-3-902457-44-8.
Projects