void netlist_writer(const std::string basename, std::shared_ptr< const AnalysisDelayCalculator > delay_calc)
Writes out the post-synthesis implementation netlists in BLIF and Verilog formats, along with an SDF for delay annotations.
Definition: netlist_writer.cpp:2022