Equipotential Class

Equipotential Overview

The Equipotential class is responsible for managing equipotentials in the najaeda system.

Equipotential Attributes

class najaeda.netlist.Equipotential(term)

Bases: object

Class that represents the term and wraps some of the snl occurrence API.

dump_dot(path: str)

Dump the dot file of this equipotential.

get_inst_terms()

Iterate over the instance terminals of this equipotential.

Returns:

an iterator over the instance terminals of this equipotential.

Return type:

Iterator[Term]

get_leaf_drivers(filter=None)

get_leaf_readers(filter=None)

get_top_drivers()

get_top_readers()

get_top_terms()

Iterate over the top terminals of this equipotential.

Returns:

an iterator over the top terminals of this equipotential.

Return type:

Iterator[Term]

is_const() → bool

Check if this equipotential is a constant generator.

Returns:

True if this equipotential is a constant generator.

Return type:

bool

is_const0() → bool

Check if this equipotential is a constant 0 generator.

Returns:

True if this equipotential is a constant 0 generator.

Return type:

bool

is_const1() → bool

Check if this equipotential is a constant 1 generator.

Returns:

True if this equipotential is a constant 1 generator.

Return type:

bool