1
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes [E-Book] : Better Early than Never /
2
Formal Verification of Structurally Complex Multipliers [E-Book] /
3
Advanced Boolean Techniques [E-Book] : Selected Papers from the 15th International Workshop on Boolean Problems /
4
Enhanced Virtual Prototyping for Heterogeneous Systems [E-Book] /
5
Design Automation for Field-coupled Nanotechnologies [E-Book] /
6
Enhanced Virtual Prototyping [E-Book] : Featuring RISC-V Case Studies /
7
Recent Findings in Boolean Techniques [E-Book] : Selected Papers from the 14th International Workshop on Boolean Problems /
8
Design for Testability, Debug and Reliability [E-Book] : Next Generation Measures Using Formal Techniques /
9
Natural Language Processing for Electronic Design Automation [E-Book] /