hal::yosys Namespace Reference

Functions
const std::string	get_helper_gate_lib ()
Result< std::string >	query_binary_path ()

Function Documentation

get_helper_gate_lib()

const std::string hal::yosys::get_helper_gate_lib

(

)

Definition at line 25 of file resynthesis.cpp.

query_binary_path()

Result<std::string> hal::yosys::query_binary_path

(

)

Definition at line 187 of file resynthesis.cpp.

References ERR, and OK.

Referenced by hal::resynthesis::generate_resynth_netlist_for_boolean_functions().