Thorsten Theobald

Thorsten Theobald

No information is available for this author.

Back to all authors

Books Authored by Thorsten Theobald

Algorithms and Data Structures in VLSI Design

Post date: 07 Oct 2006
This textbook provides an introduction to ordered binary decision diagrams (OBDDs), with an emphasis on applications in computer-aided circuit design and formal verification.
Publisher: Springer-Verlag GmbH
Publication date: 01 Aug 1998
Document Type: Textbook
 
Algorithms and Data Structures in VLSI Design

Algorithms and Data Structures in VLSI Design

Post date: 07 Oct 2006
This textbook provides an introduction to ordered binary decision diagrams (OBDDs), with an emphasis on applications in computer-aided circuit design and formal verification.
Publisher: Springer-Verlag GmbH
Publication date: 01 Aug 1998
Document Type: Textbook


Book Categories
Sponsors