Ebooks de Mathias Soeken en PDF et EPUB

3 Livre(s)
Télécharger le livre : Natural Language Processing for Electronic Design Automation
Ajouter à ma liste d'envies
Natural Language Processing for Electronic Design Automation
Rolf Drechsler , Mathias Soeken
This book describes approaches for integrating more automation to the early stages of EDA design flows. Readers will learn how natural language processing techniques can be utilized during early design stages, in order to automate the requirements engineering process...

Editeur : Springer
Parution : 2020-08-31

PDF, ePub

52,74 €
Télécharger le livre : Advanced Boolean Techniques
Ajouter à ma liste d'envies
Advanced Boolean Techniques
Rolf Drechsler , Mathias Soeken
This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science.  Content includes invited chapters and a...

Editeur : Springer
Parution : 2019-07-08

PDF, ePub

94,94 €
Télécharger le livre : Formal Specification Level
Ajouter à ma liste d'envies
Formal Specification Level
Rolf Drechsler , Mathias Soeken
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL),...

Editeur : Springer
Parution : 2014-11-12

ePub

94,94 €