def get_sdf_type(type):
    """
    Returns a SDF timing type for the given type plus information whether it
    is sequential or not. Returns None, None if the type is unknown
    """

    # Known keywords and their SDF counterparts
    seq_keywords = {
        "Setup": "setup",
        "Hold": "hold",
        "Recov": "recovery",
        "Remov": "removal",
    }

    comb_keywords = {
        "Prop": "iopath",
    }

    # Sequential
    if type in seq_keywords:
        return seq_keywords[type], True

    # Combinational
    if type in comb_keywords:
        return comb_keywords[type], False

    # Unknown
    return None, None