Algorithms and Data Structures in VLSI Design

O lucrare esențială pentru înțelegerea complexității designului de cipuri, acest manual oferă o privire de ansamblu asupra provocărilor cu care se confruntă inginerii în fața exploziei combinaționale a elementelor individuale. Autorii explorează progresele recente în știința calculatoarelor teoretice, precum și în proiectarea structurilor de date și a algoritmilor eficienți, evidențiind aplicabilitatea acestora în domeniul designului asistat de computer. Diagramelor de decizie binară ordonată (OBDD) le este dedicat un loc special, subliniind impactul lor semnificativ asupra îmbunătățirii performanțelor în proiectele de design asistat de computer.

Printr-o abordare interdisciplinară, această carte se dovedește a fi un ghid valoros pentru cercetători și practicieni, punând accent pe aplicațiile în designul circuitelor și verificarea formală. O resursă indispensabilă pentru toți cei care doresc să navigheze cu succes în acest domeniu complex și în continuă expansiune.