Algorithms for Synthesis and Testing of Asynchronous Circuits - 9781461364108

Od drugiej połowy lat 80-tych, po okresie względnego zapomnienia, obwody asynchroniczne stały się przedmiotem wielu badań. Brak zainteresowania technikami asynchronicznymi był motywowany postępującym przejściem w stronę technik projektowania synchronicznego, które miały znacznie większą strukturę i były znacznie łatwiejsze do weryfikacji i syntezy. Wymagania projektowe systemu uniemożliwiły całkowite wyeliminowanie stosowania obwodów asynchronicznych. Biorąc pod uwagę obiektywne trudności, jakie napotykają projektanci, asynchroniczne elementy systemów elektronicznych, takie jak interfejsy, stały się poważnym wąskim gardłem w procesie projektowania. Zastosowanie nowych modeli i przełomowych odkryć teoretycznych umożliwiło opracowanie technik projektowania asynchronicznego, które były niezawodne i skuteczne. W tej książce opisano różnorodne modele matematyczne i algorytmy, które stanowią szkielet i podstawę nowej metodologii projektowania asynchronicznego projektowania. Książka przeznaczona jest dla projektantów sprzętu asynchronicznego, ekspertów w dziedzinie narzędzi wspomaganych komputerowo oraz projektantów cyfrowych zainteresowanych badaniem możliwości projektowania obwodów asynchronicznych. Wymaga solidnej wiedzy matematycznej w zakresie systemów i algorytmów zdarzeń dyskretnych. Chociaż książka nie została napisana jako podręcznik, niemniej jednak może służyć jako podręcznik w zaawansowanym kursie syntezy logicznej lub projektowania asynchronicznego.