Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Efficient Latch Optimization Using Exclusive Sets

Abstract : Controller circuits synthesized from high-level languages often have many more latches than the minimum, with a resulting sparse reachable state space that has a particular structure. We propose an algorithm that exploits this structure to remove latches. The reachable state set (RSS) is much easier to compute for the new, smaller circuit and can be used to efficiently compute the RSS of the original. Thus we provide a method for obtaining the RSS, and two different initial implementations from which to begin logic optimization.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal-mines-paristech.archives-ouvertes.fr/hal-00618114
Contributeur : Magalie Prudon <>
Soumis le : mercredi 31 août 2011 - 16:54:05
Dernière modification le : jeudi 24 septembre 2020 - 17:22:33

Identifiants

Citation

Ellen M. Sentovich, Horia Toma, Gérard Berry. Efficient Latch Optimization Using Exclusive Sets. Proceedings of the 1997 34th Design Automation Conference, Jun 1997, Anaheim, CA, United States. pp.8-11, ⟨10.1109/DAC.1997.597108⟩. ⟨hal-00618114⟩

Partager

Métriques