solve_fsm.h File Reference

This file contains functions to generate the state transition graph of a given FSM. More...

#include "hal_core/defines.h"
#include "hal_core/netlist/boolean_function.h"
#include "hal_core/utilities/result.h"
#include <map>

Include dependency graph for solve_fsm.h:

Go to the source code of this file.

Namespaces
	hal
	hal::solve_fsm

Functions
Result< std::map< u64, std::map< u64, BooleanFunction > > >	hal::solve_fsm::solve_fsm (Netlist *nl, const std::vector< Gate * > &state_reg, const std::vector< Gate * > &transition_logic, const std::map< Gate *, bool > &initial_state={}, const std::filesystem::path &graph_path="", const u32 timeout=600000)
Result< std::map< u64, std::map< u64, BooleanFunction > > >	hal::solve_fsm::solve_fsm_brute_force (Netlist *nl, const std::vector< Gate * > &state_reg, const std::vector< Gate * > &transition_logic, const std::filesystem::path &graph_path="")
Result< std::string >	hal::solve_fsm::generate_dot_graph (const std::vector< Gate * > &state_reg, const std::map< u64, std::map< u64, BooleanFunction >> &transitions, const std::filesystem::path &graph_path="", const u32 max_condition_length=128, const u32 base=10)

Detailed Description

This file contains functions to generate the state transition graph of a given FSM.

Definition in file solve_fsm.h.