Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

General ecology and biosociology --- Forestry --- Forest ecology --- Forest management --- Écologie forestière --- forest ecology --- Ressource forestière --- Forest resources --- Peuplement forestier --- forest stands --- Écosystème --- ecosystems --- Cycle du carbone --- carbon cycle --- Relation plante sol --- plant soil relations --- Développement saisonnier --- Seasonal development --- Transport des substances nutritives --- Nutrient transport --- Cycle biogéochimique --- cycling --- Aménagement forestier --- Impact sur l'environnement --- Environmental impact --- Modèle --- Models --- Développement durable --- Sustainable development --- Forest ecology. --- Forest management. --- Environmental Sciences and Forestry. Forestry --- Forest Ecology --- Forest Ecology. --- Changement d'echelle

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

One of the main problems in chip design is the huge number of possible combinations of individual chip elements, leading to a combinatorial explosion as chips become more complex. New key results in theoretical computer science and in the design of data structures and efficient algorithms can be applied fruitfully here. The application of ordered binary decision diagrams (OBDDs) has led to dramatic performance improvements in many computer-aided design projects. This textbook provides an introduction to the foundations of this interdisciplinary research area with an emphasis on applications in computer-aided circuit design and formal verification.

Integrated circuits --- Computer algorithms --- Data structures (Computer science) --- Very large scale integration --- Computer-aided design --- Computer algorithms. --- Circuits intégrés à très grande échelle --- Algorithmes --- Structures de données (informatique) --- Computer-aided design. --- Conception assistée par ordinateur --- Computer science --- Very large scale integration of circuits --- VLSI circuits --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Algorithms --- Very large scale integration. --- Chips (Electronics) --- Circuits, Integrated --- Computer chips --- Microchips --- Electronic circuits --- Microelectronics --- Very large scale integration&delete& --- Algorithmes. --- Conception assistée par ordinateur. --- Computer programming. --- Microprocessors. --- Algorithms. --- Computer hardware. --- Programming Techniques. --- Processor Architectures. --- Algorithm Analysis and Problem Complexity. --- Computer Hardware. --- Algorism --- Algebra --- Arithmetic --- Minicomputers --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Foundations --- Programming --- Computer science. --- Integrated circuits - Very large scale integration - Computer-aided design