Christoph Meinel

Christoph Meinel

Homepage

No information is available for this author.

Back to all authors

Books Authored by Christoph Meinel

Algorithms and Data Structures in VLSI Design

Post date: 06 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.
Author(s): Christoph Meinel Thorsten Theobald
Publication date: 01 Aug 1998
Document Type: Textbook
Tags: Algorithms and Data Structures Computer Organization and Architecture
 
Algorithms and Data Structures in VLSI Design

Algorithms and Data Structures in VLSI Design

Post date: 06 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.
Author(s): Christoph Meinel Thorsten Theobald
Publication date: 01 Aug 1998
Document Type: Textbook
Tags: Algorithms and Data Structures Computer Organization and Architecture



Book Categories