Encoding large asynchronous controllers with ILP techniques
Visualitza/Obre
Cita com:
hdl:2117/126456
Tipus de documentArticle
Data publicació2008-01
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers specified with signal transition graphs. The method is based on the structural theory of Petri nets and uses integer-linear programming to insert state signals in locations that guarantee the consistency and absence of critical races. The structural nature of the proposed method makes it conservative, i.e., a solution cannot be guaranteed, even if it exists. Nevertheless, the experiments show that this limitation did not preclude finding a solution for all the examples presented in this paper. The method can be customized for area or delay optimization. The experimental results confirm the quality of the circuits, as compared with state-based methods. They also show the significant benefits that could be obtained if logic synthesis would be incorporated in synthesis frameworks that generate controllers by syntax-directed translation.
CitacióCarmona, J., Cortadella, J. Encoding large asynchronous controllers with ILP techniques. "IEEE transactions on computer-aided design of integrated circuits and systems", Gener 2008, vol. 27, núm. 1, p. 20-33.
ISSN0278-0070
Versió de l'editorhttps://ieeexplore.ieee.org/document/4358501
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
04358501.pdf | 809,8Kb | Visualitza/Obre |