Back to results
US 6,611,949 B2Granted
Path filtering for latch-based systems
AssigneeSun Microsystems, Inc.
InventorsMatthew Becker, Eileen You
Life of this patent
Estimating the term…
Abstract
A method and a system for static timing analysis of a latch-based circuit. A netlist data structure represents the latch-based circuit. The method statically analyzes the netlist data structure and produces timing information for signal paths within the latch-based circuit. The signal paths are filtered using path termination information, which specifies where paths end. The path termination information distinguishes a first signal path that terminates at a latch from a second signal path that flows through that same latch.
Claims16
A method, comprising:
- statically analyzing a model of a digital circuit;
- producing timing information for a plurality of signal paths within the digital circuit;
- and
- filtering the plurality of signal paths using termination information, the termination information specifying a termination point of a latch path in the circuit.
1 more element
A method, comprising:
- representing a latch-based circuit as a netlist data structure;
- statically analyzing the netlist data structure;
- producing timing information for signal paths within the latch-based circuit;
- and
- filtering the signal paths using path termination information, wherein the path termination information specifies a termination point of a signal path that ends at a latch, and wherein the path termination information distinguishes a first signal path that terminates at the latch from a second signal path that flows through the latch during a transparent mode.
2 more elements
A computer system, comprising:
- a static timing analyzer stored in memory, the static timing analyzer producing timing information for signal paths in a digital circuit;
- a filter mechanism stored in memory, the filter mechanism filtering the signal paths using path termination information, the path termination information distinguishing a first signal path that ends at a transparent latch from another signal path that flows through the transparent latch, the filtering mechanism reducing the number of signal paths analyzed;
- and
- a microprocessor communicating with the memory, the microprocessor capable of generating timing behavior of the digital circuit.
1 more element
Dependencies are inferred from the claim text.