Unified Methods for VLSI Simulation and Test Generation

Formal Equivalence Checking and Design Debugging coverstwo major topics in design verification: l...

In the early days of digital design, we were concerned with the logical correctness of circuits. ...

Als anwendungsorientiertes Lehrbuch und Nachschlagewerk vermittelt dieses Teubner-Taschenbuch dem...

Formal Equivalence Checking and Design Debugging coverstwo major topics in design verification: l...

In the early days of digital design, we were concerned with the logical correctness of circuits. ...

This edited book is a collection of selected research papers presented at the 2022 3rd Internatio...

This book is a collection of selected research papers presented at the 2023 4th International Con...

This book is a collection of selected research papers presented at the 2024 5th International Con...

This book gathers selected research works presented at 2025 6th International Conference on Artif...

Tapping At Glass charts girlhood, multilingualism, and psychogeography from Hong Kong to Scotland...

Featuring both established and emerging Hong Kong poets across generations and continents, this u...

'I moved to a country called writing' declares Tim Tim Cheng in this striking debut collection. T...