Natural Language Processing for Electronic Design Automation Natural Language Processing for Electronic Design Automation
٢٠٢٠
Advanced Boolean Techniques Advanced Boolean Techniques
٢٠١٩
Reversible Computation Reversible Computation
٢٠١٩
Formal Specification Level Formal Specification Level
٢٠١٤