core package

Subpackages

• core.benchmarks package
  • Submodules
  • core.benchmarks.Benchmark module
    • BLIFBenchmark
      • BLIFBenchmark.eval()
      • BLIFBenchmark.from_string()
      • BLIFBenchmark.get_auxiliary_variables()
      • BLIFBenchmark.get_file_extension()
      • BLIFBenchmark.get_input_variables()
      • BLIFBenchmark.get_output_variables()
      • BLIFBenchmark.model_name()
      • BLIFBenchmark.read()
      • BLIFBenchmark.to_blif()
      • BLIFBenchmark.to_data_flow_graph()
      • BLIFBenchmark.to_file_path()
      • BLIFBenchmark.to_pla()
      • BLIFBenchmark.to_string()
      • BLIFBenchmark.to_verilog()
    • Benchmark
      • Benchmark.get_log()
      • Benchmark.to_blif()
      • Benchmark.to_pla()
      • Benchmark.to_verilog()
    • PLABenchmark
      • PLABenchmark.eval()
      • PLABenchmark.from_string()
      • PLABenchmark.get_auxiliary_variables()
      • PLABenchmark.get_file_extension()
      • PLABenchmark.get_input_variables()
      • PLABenchmark.get_output_variables()
      • PLABenchmark.read()
      • PLABenchmark.to_blif()
      • PLABenchmark.to_pla()
      • PLABenchmark.to_string()
      • PLABenchmark.to_verilog()
    • VerilogBenchmark
      • VerilogBenchmark.collapse()
      • VerilogBenchmark.eval()
      • VerilogBenchmark.fix()
      • VerilogBenchmark.from_string()
      • VerilogBenchmark.get_auxiliary_variables()
      • VerilogBenchmark.get_file_extension()
      • VerilogBenchmark.get_input_variables()
      • VerilogBenchmark.get_output_variables()
      • VerilogBenchmark.negate()
      • VerilogBenchmark.read()
      • VerilogBenchmark.to_blif()
      • VerilogBenchmark.to_pla()
      • VerilogBenchmark.to_string()
      • VerilogBenchmark.to_verilog()
      • VerilogBenchmark.to_z3()
  • core.benchmarks.Formula module
    • Formula
      • Formula.eval()
      • Formula.get_auxiliary_variables()
      • Formula.get_file_extension()
      • Formula.get_input_variables()
      • Formula.get_output_variables()
      • Formula.negate()
    • VerilogFormula
      • VerilogFormula.negate()
  • Module contents
• core.decision_diagrams package
  • Submodules
  • core.decision_diagrams.BDD module
    • BDD
      • BDD.FALSE
      • BDD.TRUE
      • BDD.eval()
      • BDD.from_string()
      • BDD.get_auxiliary_variables()
      • BDD.get_file_extension()
      • BDD.get_input_variables()
      • BDD.get_log()
      • BDD.get_output_variables()
      • BDD.get_variable_order()
      • BDD.prune()
      • BDD.read()
      • BDD.to_dot()
      • BDD.to_string()
  • core.decision_diagrams.BDDCollection module
    • BDDCollection
      • BDDCollection.get_auxiliary_variables()
      • BDDCollection.get_input_variables()
      • BDDCollection.get_output_variables()
      • BDDCollection.read()
      • BDDCollection.write()
  • core.decision_diagrams.BDDTopology module
    • BDDTopology
      • BDDTopology.eval()
      • BDDTopology.get_auxiliary_variables()
      • BDDTopology.get_boolean_functions()
      • BDDTopology.get_input_variables()
      • BDDTopology.get_output_variables()
      • BDDTopology.to_dot()
  • core.decision_diagrams.DD module
    • DD
  • core.decision_diagrams.DDCollection module
    • DDCollection
      • DDCollection.add()
      • DDCollection.get_auxiliary_variables()
      • DDCollection.get_input_variables()
      • DDCollection.get_output_variables()
      • DDCollection.prune()
      • DDCollection.read()
      • DDCollection.to_string()
  • Module contents
• core.expressions package
  • Submodules
  • core.expressions.BooleanExpression module
    • AND
      • AND.eval()
      • AND.fix()
      • AND.get_input_variables()
      • AND.negate()
      • AND.simplify()
      • AND.substitute()
      • AND.to_z3()
    • BooleanExpression
      • BooleanExpression.copy()
      • BooleanExpression.eval()
      • BooleanExpression.fix()
      • BooleanExpression.get_input_variables()
      • BooleanExpression.negate()
      • BooleanExpression.read()
      • BooleanExpression.simplify()
      • BooleanExpression.substitute()
      • BooleanExpression.to_z3()
    • FALSE
      • FALSE.eval()
      • FALSE.fix()
      • FALSE.get_input_variables()
      • FALSE.negate()
      • FALSE.simplify()
      • FALSE.substitute()
      • FALSE.to_z3()
    • IF
      • IF.eval()
      • IF.fix()
      • IF.get_input_variables()
      • IF.negate()
      • IF.simplify()
      • IF.substitute()
      • IF.to_z3()
    • LITERAL
      • LITERAL.eval()
      • LITERAL.fix()
      • LITERAL.get_input_variables()
      • LITERAL.negate()
      • LITERAL.simplify()
      • LITERAL.substitute()
      • LITERAL.to_z3()
    • NOT
      • NOT.eval()
      • NOT.fix()
      • NOT.get_input_variables()
      • NOT.negate()
      • NOT.simplify()
      • NOT.substitute()
      • NOT.to_z3()
    • OR
      • OR.eval()
      • OR.fix()
      • OR.get_input_variables()
      • OR.negate()
      • OR.simplify()
      • OR.substitute()
      • OR.to_z3()
    • TRUE
      • TRUE.eval()
      • TRUE.fix()
      • TRUE.get_input_variables()
      • TRUE.negate()
      • TRUE.simplify()
      • TRUE.substitute()
      • TRUE.to_z3()
    • XOR
      • XOR.eval()
      • XOR.fix()
      • XOR.get_input_variables()
      • XOR.negate()
      • XOR.simplify()
      • XOR.substitute()
      • XOR.to_z3()
  • Module contents
• core.hardware package
  • Submodules
  • core.hardware.Component module
    • Component
  • core.hardware.Crossbar module
    • Crossbar
      • Crossbar.find()
      • Crossbar.fix()
      • Crossbar.flip_horizontal()
      • Crossbar.flip_vertical()
      • Crossbar.from_string()
      • Crossbar.get_area()
      • Crossbar.get_columns()
      • Crossbar.get_file_extension()
      • Crossbar.get_input_nanowire()
      • Crossbar.get_input_nanowires()
      • Crossbar.get_memristor()
      • Crossbar.get_memristor_layers()
      • Crossbar.get_nanowire_layers()
      • Crossbar.get_output_nanowire()
      • Crossbar.get_output_nanowires()
      • Crossbar.get_rows()
      • Crossbar.get_semiperimeter()
      • Crossbar.get_volume()
      • Crossbar.graph()
      • Crossbar.instantiate()
      • Crossbar.read()
      • Crossbar.set_input_nanowire()
      • Crossbar.set_memristor()
      • Crossbar.set_output_nanowire()
    • MemristorCrossbar
      • MemristorCrossbar.compress()
      • MemristorCrossbar.eval()
      • MemristorCrossbar.find_equivalent_components()
      • MemristorCrossbar.fix()
      • MemristorCrossbar.from_string()
      • MemristorCrossbar.get_auxiliary_variables()
      • MemristorCrossbar.get_equivalent_columns()
      • MemristorCrossbar.get_equivalent_rows()
      • MemristorCrossbar.get_input_variables()
      • MemristorCrossbar.get_log()
      • MemristorCrossbar.get_output_variables()
      • MemristorCrossbar.get_ternary_matrix()
      • MemristorCrossbar.instantiate()
      • MemristorCrossbar.nd_array_to_crossbar()
      • MemristorCrossbar.to_dot()
      • MemristorCrossbar.to_string()
      • MemristorCrossbar.transpose()
    • SelectorCrossbar
      • SelectorCrossbar.eval()
      • SelectorCrossbar.fix()
      • SelectorCrossbar.from_string()
      • SelectorCrossbar.get_auxiliary_variables()
      • SelectorCrossbar.get_functions()
      • SelectorCrossbar.get_input_variables()
      • SelectorCrossbar.get_log()
      • SelectorCrossbar.get_output_variables()
      • SelectorCrossbar.instantiate()
      • SelectorCrossbar.to_dot()
      • SelectorCrossbar.to_string()
  • core.hardware.Memristor module
    • Memristor
      • Memristor.eval()
      • Memristor.fix()
      • Memristor.get_input_variables()
      • Memristor.negate()
      • Memristor.simplify()
      • Memristor.substitute()
      • Memristor.to_z3()
  • core.hardware.Topology module
    • Topology
      • Topology.eval()
      • Topology.from_string()
      • Topology.get_auxiliary_variables()
      • Topology.get_file_extension()
      • Topology.get_input_variables()
      • Topology.get_log()
      • Topology.get_output_variables()
      • Topology.read()
      • Topology.to_dot()
      • Topology.to_json()
      • Topology.to_string()
    • TopologyParser
      • TopologyParser.parse()
  • Module contents

Submodules

core.BooleanFunction module

class core.BooleanFunction.BooleanFunction(name: str | None = None)

Bases: BooleanFunctionInterface, ABC

An abstract class to represent a Boolean function.

abstract static get_file_extension() → str

get_file_path() → Path

get_name() → str

Returns the name of this Boolean function. :return:

core.BooleanFunctionCollection module

class core.BooleanFunctionCollection.BooleanFunctionCollection(boolean_functions: Set[BooleanFunction] | None = None)

Bases: BooleanFunctionInterface, Loggable

A class to represent a set of multi-output Boolean functions.

add(boolean_function: BooleanFunction)

Adds a multi-output Boolean function to this :param boolean_function: :return:

copy()

draw() → Set[str]

eval(instance: Dict[str, bool]) → Dict[str, bool]

Given the instance, this function returns an evaluation of this multi-output Boolean function. An evaluation is an assignment for each variable to a Boolean truth value (true/false). :param instance: A dictionary mapping the input variables (str) to the Boolean truth values true and false (bool). :return: A dictionary mapping the output variables (str) to the Boolean truth values true and false (bool).

get_auxiliary_variables() → Set[str]

Returns the set of auxiliary variables of this multi-output Boolean function.

get_boolean_functions() → Set[BooleanFunction]

get_input_variables() → Set[str]

Returns the set of input variables of this multi-output Boolean function.

get_log() → Dict[str, Any]

get_output_variables() → Set[str]

Returns the set of output variables of this multi-output Boolean function.

static read(file_path: Path) → BooleanFunctionInterface

to_json() → Dict[Any, Any]

to_string() → str

write(file_path: Path | None = None)

core.BooleanFunctionInterface module

class core.BooleanFunctionInterface.BooleanFunctionInterface

Bases: ABC

An interface for a multi-output Boolean function.

abstract eval(instance: Dict[str, bool]) → Dict[str, bool]

Given the instance, this function returns an evaluation of this multi-output Boolean function. An evaluation is an assignment for each variable to a Boolean truth value (true/false). :param instance: A dictionary mapping the input variables (str) to the Boolean truth values true and false (bool). :return: A dictionary mapping the output variables (str) to the Boolean truth values true and false (bool).

abstract get_auxiliary_variables() → Set[str]

Returns the set of auxiliary variables of this multi-output Boolean function.

abstract get_input_variables() → Set[str]

Returns the set of input variables of this multi-output Boolean function.

abstract get_output_variables() → Set[str]

Returns the set of output variables of this multi-output Boolean function.

core.DrawInterface module

class core.DrawInterface.DrawInterface

Bases: ABC

abstract to_dot() → str

core.IOInterface module

class core.IOInterface.IOInterface

Bases: ABC

abstract static from_string(content: str) → BooleanFunction

abstract static read(filepath: Path) → BooleanFunction

abstract to_string() → str

write(file_path: Path)

Module contents