Structural methods for the synthesis of speed-independent circuits
Visualitza/Obre
Cita com:
hdl:2117/129510
Tipus de documentText en actes de congrés
Data publicació1996
EditorInstitute of Electrical and Electronics Engineers (IEEE)
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
Most existing tools for the synthesis of asynchronous circuits from Signal Transition Graphs (STGs) derive the reachability graph for the calculation of logic equations. This paper presents novel methods exclusively based on the structural analysis of the underlying Petri net. This methodology can be applied to any STG that can be covered by State Machines and, in particular to all live and safe free-choice STGs. Significant improvements with regard to existing structural methods are provided. The new techniques have been implemented in an experimental tool that has been able to synthesize specifications with over 10/sup 27/ markings, some of them being non-free choice.
CitacióPastor, E. [et al.]. Structural methods for the synthesis of speed-independent circuits. A: European Design and Test Conference. "European Design & Test Conference, ED&TC 96: March 11-14, 1996, Paris, France: proceedings". Institute of Electrical and Electronics Engineers (IEEE), 1996, p. 340-347.
ISBN0-8186-7424-5
Versió de l'editorhttps://ieeexplore.ieee.org/document/494323
Col·leccions
- Departament de Ciències de la Computació - Ponències/Comunicacions de congressos [1.275]
- ALBCOM - Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals - Ponències/Comunicacions de congressos [335]
- CAP - Grup de Computació d'Altes Prestacions - Ponències/Comunicacions de congressos [784]
- Departament d'Arquitectura de Computadors - Ponències/Comunicacions de congressos [1.955]
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
00494323.pdf | 974,3Kb | Visualitza/Obre |