aboutsummaryrefslogtreecommitdiffstats
path: root/fpga_interchange/dedicated_interconnect.h
blob: 5fe61d301b2cb844b68646f350169e656e3f88f2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
/*
 *  nextpnr -- Next Generation Place and Route
 *
 *  Copyright (C) 2021  Symbiflow Authors
 *
 *
 *  Permission to use, copy, modify, and/or distribute this software for any
 *  purpose with or without fee is hereby granted, provided that the above
 *  copyright notice and this permission notice appear in all copies.
 *
 *  THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
 *  WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
 *  MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
 *  ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
 *  WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
 *  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
 *  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 *
 */

#ifndef NEXTPNR_H
#error Include "dedicated_interconnect.h" via "nextpnr.h" only.
#endif

NEXTPNR_NAMESPACE_BEGIN

struct TileTypeBelPin {
    int32_t tile_type;
    int32_t bel_index;
    IdString bel_pin;

    bool operator < (const TileTypeBelPin &other) const {
        if(tile_type >= other.tile_type) {
            return false;
        }

        if(bel_index >= other.bel_index) {
            return false;
        }

        return bel_pin < other.bel_pin;
    }

    bool operator ==(const TileTypeBelPin &other) const {
        return tile_type == other.tile_type && bel_index == other.bel_index && bel_pin == other.bel_pin;
    }
    bool operator !=(const TileTypeBelPin &other) const {
        return tile_type != other.tile_type || bel_index != other.bel_index || bel_pin != other.bel_pin;
    }
};

struct DeltaTileTypeBelPin {
    int32_t delta_x;
    int32_t delta_y;
    TileTypeBelPin type_bel_pin;

    bool operator ==(const DeltaTileTypeBelPin &other) const {
        return delta_x == other.delta_x && delta_y == other.delta_y && type_bel_pin == other.type_bel_pin;
    }
    bool operator !=(const DeltaTileTypeBelPin &other) const {
        return delta_x != other.delta_x || delta_y != other.delta_y || type_bel_pin != other.type_bel_pin;
    }
};

NEXTPNR_NAMESPACE_END

template <> struct std::hash<NEXTPNR_NAMESPACE_PREFIX TileTypeBelPin>
{
    std::size_t operator()(const NEXTPNR_NAMESPACE_PREFIX TileTypeBelPin &type_bel_pin) const noexcept
    {
        std::size_t seed = 0;
        boost::hash_combine(seed, std::hash<int32_t>()(type_bel_pin.tile_type));
        boost::hash_combine(seed, std::hash<int32_t>()(type_bel_pin.bel_index));
        boost::hash_combine(seed, std::hash<NEXTPNR_NAMESPACE_PREFIX IdString>()(type_bel_pin.bel_pin));
        return seed;
    }
};

template <> struct std::hash<NEXTPNR_NAMESPACE_PREFIX DeltaTileTypeBelPin>
{
    std::size_t operator()(const NEXTPNR_NAMESPACE_PREFIX DeltaTileTypeBelPin &delta_bel_pin) const noexcept
    {
        std::size_t seed = 0;
        boost::hash_combine(seed, std::hash<int32_t>()(delta_bel_pin.delta_x));
        boost::hash_combine(seed, std::hash<int32_t>()(delta_bel_pin.delta_y));
        boost::hash_combine(seed, std::hash<NEXTPNR_NAMESPACE_PREFIX TileTypeBelPin>()(delta_bel_pin.type_bel_pin));
        return seed;
    }
};

NEXTPNR_NAMESPACE_BEGIN

struct Context;

// This class models dedicated interconnect present in the given fabric.
//
// Examples of dedicate interconnect:
//  - IBUF.O -> ISERDES.I
//  - IBUF.O -> IDELAY.I
//  - CARRY4.CO[3] -> CARRY4.CIN
//
//  Note that CARRY4.CYINIT does not **require** dedicated interconnect, so
//  it doesn't qualify.
//
//  This class discovers dedicated interconnect by examing the routing graph.
//  This discovery make be expensive, and require caching to accelerate
//  startup.
struct DedicatedInterconnect {
    const Context *ctx;

    std::unordered_map<TileTypeBelPin, std::unordered_set<DeltaTileTypeBelPin>> pins_with_dedicate_interconnect;

    void init(const Context *ctx);

    // Is this BEL placed in a location that is valid based on dedicated
    // interconnect?
    //
    // Note: Only BEL pin sinks are checked.
    bool isBelLocationValid(BelId bel, const CellInfo* cell) const;

    void find_dedicated_interconnect();
    void print_dedicated_interconnect() const;
    bool check_routing(
        BelId src_bel, IdString src_bel_pin,
        BelId dst_bel, IdString dst_bel_pin) const;
    void expand_bel(BelId bel, IdString pin, WireId wire);
};

NEXTPNR_NAMESPACE_END