Natural Language Processing for Electronic Design Automation
Latest Publications

TOTAL DOCUMENTS

4
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030522711, 9783030522735
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

(Semi)automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications

2020 ◽  
pp. 1-11
Author(s):  
Oliver Keszocze ◽  
Betina Keiner ◽  
Matthias Richter ◽  
Gottfried Antpöhler ◽  
Robert Wille
Keyword(s):  
Legal Regulations ◽  
Automatic Translation ◽  
Formal Representations

Real-World Events Discovering with TWIST

2020 ◽  
pp. 71-107
Author(s):  
Natalia Vanetik ◽  
Marina Litvak ◽  
Efi Levi
Keyword(s):  
Real World

Generation of Verification Artifacts from Natural Language Descriptions

2020 ◽  
pp. 37-70
Author(s):  
Ian G. Harris ◽  
Christopher B. Harris
Keyword(s):  
Natural Language
Load More ...
Sign in / Sign up

Export Citation Format

Share Document