library "FLEX10K-parts" {
    fpga_library_version : "v1.0.0";
    fpga_default_part : "AUTO";
    fpga_part_library : 1;
    dm_library_is_internal : 1;
 
    design "AUTO" {
        read_only : 1;
        fpga_valid_speed_grades : ["FASTEST"];
    }
    design "EPF10K100GC503" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-3" "-3DX" "-4"];
        fpga_pin_count : 503;
    }
    design "EPF10K10LC84" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-3" "-4"];
        fpga_pin_count : 84;
    }
    design "EPF10K10LI84" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-4"];
        fpga_pin_count : 84;
    }
    design "EPF10K10QC208" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-3" "-4"];
        fpga_pin_count : 208;
    }
    design "EPF10K10QI208" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-4"];
        fpga_pin_count : 208;
    }
    design "EPF10K10TC144" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-3" "-4"];
        fpga_pin_count : 144;
    }
    design "EPF10K10TI144" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-4"];
        fpga_pin_count : 144;
    }
    design "EPF10K20RC208" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-3" "-4"];
        fpga_pin_count : 208;
    }
    design "EPF10K20RC240" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-3" "-4"];
        fpga_pin_count : 240;
    }
    design "EPF10K20RI208" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-4"];
        fpga_pin_count : 208;
    }
    design "EPF10K20RI240" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-4"];
        fpga_pin_count : 240;
    }
    design "EPF10K20TC144" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-3" "-4"];
        fpga_pin_count : 144;
    }
    design "EPF10K20TI144" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-4"];
        fpga_pin_count : 144;
    }
    design "EPF10K30BC356" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-3" "-4"];
        fpga_pin_count : 356;
    }
    design "EPF10K30RC208" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-3" "-4"];
        fpga_pin_count : 208;
    }
    design "EPF10K30RC240" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-3" "-4"];
        fpga_pin_count : 240;
    }
    design "EPF10K30RI208" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-4"];
        fpga_pin_count : 208;
    }
    design "EPF10K30RI240" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-4"];
        fpga_pin_count : 240;
    }
    design "EPF10K40RC208" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-3" "-4"];
        fpga_pin_count : 208;
    }
    design "EPF10K40RC240" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-3" "-4"];
        fpga_pin_count : 240;
    }
    design "EPF10K50BC356" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-3" "-4"];
        fpga_pin_count : 356;
    }
    design "EPF10K50GC403" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-3" "-4"];
        fpga_pin_count : 403;
    }
    design "EPF10K50RC240" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-3" "-4"];
        fpga_pin_count : 240;
    }
    design "EPF10K50RI240" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-4"];
        fpga_pin_count : 240;
    }
    design "EPF10K70GC503" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-3" "-4"];
        fpga_pin_count : 503;
    }
    design "EPF10K70RC240" {
        read_only : 1;
        fpga_valid_speed_grades : [ "-2" "-3" "-4"];
        fpga_pin_count : 240;
    }
}