↓ Skip to main content
What is this page? Embed badge

Algorithms and Data Structures in VLSI Design

Overview of attention for book
Cover of 'Algorithms and Data Structures in VLSI Design'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Basics
  4. Altmetric Badge
    Chapter 3 Boolean Functions
  5. Altmetric Badge
    Chapter 4 Classical Representations
  6. Altmetric Badge
    Chapter 5 Requirements on Data Structures in Formal Circuit Verification
  7. Altmetric Badge
    Chapter 6 OBDDs — Ordered Binary Decision Diagrams
  8. Altmetric Badge
    Chapter 7 Efficient Implementation of OBDDs
  9. Altmetric Badge
    Chapter 8 Influence of the Variable Order on the Complexity of OBDDs
  10. Altmetric Badge
    Chapter 9 Optimizing the Variable Order
  11. Altmetric Badge
    Chapter 10 Analysis of Sequential Systems
  12. Altmetric Badge
    Chapter 11 Symbolic Model Checking
  13. Altmetric Badge
    Chapter 12 Variants and Extensions of OBDDs
  14. Altmetric Badge
    Chapter 13 Transformation Techniques for Optimization
Attention for Chapter 7: Efficient Implementation of OBDDs
Altmetric Badge

Citations

dimensions_citation
183 Dimensions
Summary Dimensions citations
So far, Dimensions has found 183 publications that cite this research output.

183

The most recent citing publications are shown below. View all 183 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.