sequential_simulation.hpp File Reference

Sequential Simulation considering state inputs. More...

Namespaces
namespace	revkit
	Main namespace.

Typedefs
typedef boost::function < boost::dynamic_bitset<>const std::map< std::string, boost::dynamic_bitset <> > &, const boost::dynamic_bitset<> &)>	sequential_step_result_func
	Functor which is called after a circuit is simulated combinationally. More...

Functions
bool	sequential_simulation (std::vector< boost::dynamic_bitset<> > &outputs, const circuit &circ, const std::vector< boost::dynamic_bitset<> > &inputs, properties::ptr settings=properties::ptr(), properties::ptr statistics=properties::ptr())
	Sequential Simulation considering state inputs. More...
multi_step_simulation_func	sequential_simulation_func (properties::ptr settings=properties::ptr(new properties()), properties::ptr statistics=properties::ptr(new properties()))
	Functor for the sequential_simulation algorithm. More...

Detailed Description

Sequential Simulation considering state inputs.