Algorithms for Synthesis and Testing of Asynchronous Circuits - 9781461364108

Nuo devintojo dešimtmečio antrosios pusės asinchroninės grandinės buvo labai daug tyrinėjamos po santykinio užmaršties laikotarpio. Susidomėjimo asinchroninėmis technikomis stoką paskatino laipsniškas perėjimas prie sinchroninio projektavimo metodų, kurie turėjo daug daugiau struktūros ir buvo daug lengviau patikrinami ir sintezuojami. Sistemos projektavimo reikalavimai neleido visiškai pašalinti asinchroninių grandinių naudojimo. Atsižvelgiant į objektyvius sunkumus, su kuriais susiduria dizaineriai, asinchroniniai elektroninių sistemų komponentai, tokie kaip sąsajos, tapo rimta kliūtimi projektavimo procese. Naujų modelių naudojimas ir kai kurie teoriniai laimėjimai leido sukurti patikimus ir veiksmingus asinchroninio projektavimo būdus. Šioje knygoje aprašomi įvairūs matematiniai modeliai ir algoritmai, kurie sudaro naujos asinchroninio projektavimo metodologijos pagrindą ir pagrindą. Knyga skirta asinchroninės įrangos projektuotojams, kompiuterinių įrankių ekspertams ir skaitmeniniams dizaineriams, besidomintiems asinchroninių grandinių projektavimo galimybėmis. Tam reikalingas tvirtas matematinis diskrečių įvykių sistemų ir algoritmų pagrindas. Nors knyga nebuvo parašyta kaip vadovėlis, vis dėlto ji galėtų būti naudojama kaip žinynas išplėstiniame loginės sintezės ar asinchroninio dizaino kurse.