|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 6 gevonden artikelen
| Titel: |
A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs |
| Auteur: |
Javier Esparza |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 62 (2004) nr. 2 pagina's 197-220 |
| Jaar: |
2004-11-30 |
| Inhoud: |
Signal Transition Graphs (STGs) are one of the most popular models for the specification of asynchronous circuits. A STG can be implemented if it admits a so-called consistent and complete binary encoding. Deciding this is EXPSPACE-hard for arbitrary STGs, and so a lot of attention has been devoted to the subclass of free-choice STGs, which offers a good compromise between expressive power and analizability. In the last years, polynomial time synthesis techniques have been developed for free-choice STGs, but they assume that the STG has a consistent binary encoding. This paper presents the first polynomial algorithm for checking consistency. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 6 gevonden artikelen
| volgende >> |