solve_fsm.cpp File Reference

#include "solve_fsm/solve_fsm.h"
#include "hal_core/netlist/net.h"
#include "hal_core/netlist/boolean_function/solver.h"
#include "hal_core/netlist/decorators/boolean_function_decorator.h"
#include "hal_core/netlist/decorators/boolean_function_net_decorator.h"
#include "hal_core/netlist/decorators/subgraph_netlist_decorator.h"
#include "hal_core/netlist/gate.h"
#include "hal_core/netlist/gate_library/gate_type.h"
#include "hal_core/netlist/gate_library/gate_type_component/ff_component.h"
#include "hal_core/netlist/gate_library/gate_type_component/state_component.h"
#include <bitset>
#include <fstream>
#include <deque>
#include <set>

Include dependency graph for solve_fsm.cpp:

Go to the source code of this file.

Namespaces
	hal
	hal::solve_fsm
	Recovers the state transition graph of a finite state machine from the gate-level netlist that implements it.

Functions
Result< StateTransitionGraph >	hal::solve_fsm::solve_fsm (const Configuration &config)
	Recover the state transition graph of an FSM from the netlist that implements it. More...