{
    "type" : "EF",
    "source" : "br_gh1184.v",
    "remove_gold_check_for_now" : "br_gh1184",
    "iverilog-args" : [ "-gspecify" ]
}