Function script 

pub fn script(
    top: &str,
    params: &[(&str, &str)],
    boxes: &[(&str, Cost)],
) -> String

The yosys script that maps top with params set and writes timing.json.