Controller circuits synthesized from high-level lan- guages often have many more latches than the mini- mum, with a resulting sparse reachable state space ...

Efficient Latch Optimization Using Exclusive Sets ; Article #: ; Date of Conference: 09-13 June 1997 ; Date Added to IEEE Xplore: 06 August 2002.

We propose an algorithmthatexploits this structure to remove latches. The reachablestate set (RSS) is much easier to compute for the new,smaller circuit and can ...

1. Derive the ORSS from the structure of the high-level lan- · 2. Compute the exclusive latches and determine two maximal · 3. Remove one of the latch sets, add ...

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 ...

We propose an algorithmthat exploits this structure to remove latches. The reachable state set (RSS) is much easier to compute for the new, smaller circuit and ...

Esterel has an efficient software implementation based on a well-defined mathematical semantics. I present a new hardware implementation of the pure ...

https://dblp.org/rec/conf/dac/SentovichTB97 · Ellen Sentovich, Horia Toma, Gérard Berry: Efficient Latch Optimization Using Exclusive Sets. DAC 1997: 8-11.

In this paper we propose a set of rules for consistent estimation of the real performance and power features of the latch and flip-flop structures. A new ...

Efficient Latch Optimization Using Exclusive Sets ( ES , HT , GB ), pp. 8–11 ... Using error latch trace to obtain diagnostic information ( PMA , JLR ) ...