01730nam0 22003973i 450 VAN0022942020250617111101.761N978303052273520211019d2020 |0itac50 baengCH|||| |||||Natural Language Processing for Electronic Design AutomationMathias Soeken, Rolf Drechsler editorsChamSpringer2020vii, 111 p.ill.24 cmVAN00229421Natural Language Processing for Electronic Design Automation188203000A79 (77-XX)Physics [MSC 2020]VANC023182MF94-XXInformation and communication theory, circuits [MSC 2020]VANC019701MFElectronic System LevelKW:KFormal Specification LevelKW:KFormal VerificationKW:KNatural languageKW:KSoftwareKW:KVerification of Embedded SystemsKW:KCHChamVANL001889DrechslerRolfVANV084298SoekenMathiasVANV084297Springer <editore>VANV108073650ITSOL20251114RICAhttp://doi.org/10.1007/978-3-030-52273-5E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00229420BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 4299 08eMF4299 20211019 Natural Language Processing for Electronic Design Automation1882030UNICAMPANIA