A multilevel congestion-based global router
VLSI Design
Automata applications in chip-design software
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
Integrating formal verification in an online judge for e-Learning logic circuit design
Proceedings of the 43rd ACM technical symposium on Computer Science Education
Hi-index | 0.00 |