Unified Methods for VLSI Simulation and Test Generation

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

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

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

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...

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

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

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. ...

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

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

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