|
80 | 80 | sky130-pdk = pkgs.callPackage ./pkgs/sky130-pdk { }; |
81 | 81 | }; |
82 | 82 |
|
83 | | - packages = { |
84 | | - default = pkgs.aegis-ip-tools; |
85 | | - ip-tools = pkgs.aegis-ip-tools; |
86 | | - terra-1 = pkgs.aegis-ip-tools.mkIp { |
87 | | - deviceName = "terra_1"; |
88 | | - width = 48; |
89 | | - height = 64; |
90 | | - tracks = 4; |
91 | | - serdesCount = 4; |
92 | | - bramColumnInterval = 16; |
93 | | - dspColumnInterval = 24; |
94 | | - clockTileCount = 2; |
95 | | - }; |
96 | | - terra-1-tapeout = self.packages.${system}.terra-1.mkTapeout { |
97 | | - pdk = pkgs.gf180mcu-pdk; |
98 | | - clockPeriodNs = 20; |
99 | | - }; |
100 | | - terra-1-deb = self.packages.${system}.terra-1.deb; |
101 | | - terra-1-docker = self.packages.${system}.terra-1.docker; |
102 | | - }; |
| 83 | + packages = |
| 84 | + let |
| 85 | + devices = import ./devices.nix { |
| 86 | + inherit (pkgs) aegis-ip-tools gf180mcu-pdk sky130-pdk; |
| 87 | + }; |
| 88 | + |
| 89 | + mkDevicePackages = name: cfg: { |
| 90 | + "${name}" = cfg.ip; |
| 91 | + "${name}-tapeout" = cfg.ip.mkTapeout cfg.tapeout; |
| 92 | + "${name}-deb" = cfg.ip.deb; |
| 93 | + "${name}-docker" = cfg.ip.docker; |
| 94 | + }; |
| 95 | + in |
| 96 | + { |
| 97 | + default = pkgs.aegis-ip-tools; |
| 98 | + ip-tools = pkgs.aegis-ip-tools; |
| 99 | + } |
| 100 | + // lib.foldl' (acc: name: acc // mkDevicePackages name devices.${name}) { } ( |
| 101 | + builtins.attrNames devices |
| 102 | + ); |
103 | 103 |
|
104 | 104 | checks = |
105 | 105 | let |
106 | | - terra-1 = self.packages.${system}.terra-1; |
| 106 | + devices = builtins.filter ( |
| 107 | + name: |
| 108 | + let |
| 109 | + pkg = self.packages.${system}.${name}; |
| 110 | + in |
| 111 | + pkg ? deviceName && !(pkg ? tileMacros) |
| 112 | + ) (builtins.attrNames self.packages.${system}); |
| 113 | + mkDeviceChecks = |
| 114 | + name: |
| 115 | + let |
| 116 | + ip = self.packages.${system}.${name}; |
| 117 | + tapeout = self.packages.${system}."${name}-tapeout"; |
| 118 | + in |
| 119 | + { |
| 120 | + "${name}-blinky" = pkgs.callPackage ./examples/blinky { |
| 121 | + aegis-ip = ip; |
| 122 | + }; |
| 123 | + "${name}-blinky-sim" = pkgs.callPackage ./tests/blinky-sim { |
| 124 | + aegis-ip = ip; |
| 125 | + }; |
| 126 | + "${name}-counter" = pkgs.callPackage ./tests/counter-verify { |
| 127 | + aegis-ip = ip; |
| 128 | + }; |
| 129 | + "${name}-shift-register" = pkgs.callPackage ./tests/shift-register { |
| 130 | + aegis-ip = ip; |
| 131 | + }; |
| 132 | + "${name}-logic-gates" = pkgs.callPackage ./tests/logic-gates { |
| 133 | + aegis-ip = ip; |
| 134 | + }; |
| 135 | + "${name}-tile-bits" = pkgs.callPackage ./tests/tile-bits-consistency { |
| 136 | + aegis-ip = ip; |
| 137 | + }; |
| 138 | + "${name}-synth-equiv-comb" = pkgs.callPackage ./tests/synth-equiv { |
| 139 | + aegis-ip = ip; |
| 140 | + design = "comb"; |
| 141 | + }; |
| 142 | + "${name}-synth-equiv-counter" = pkgs.callPackage ./tests/synth-equiv { |
| 143 | + aegis-ip = ip; |
| 144 | + design = "counter"; |
| 145 | + }; |
| 146 | + "${name}-formal-ip" = pkgs.callPackage ./tests/formal-ip { |
| 147 | + aegis-ip = ip; |
| 148 | + }; |
| 149 | + "${name}-gds-verify" = pkgs.callPackage ./tests/gds-verify { |
| 150 | + aegis-tapeout = tapeout; |
| 151 | + }; |
| 152 | + }; |
107 | 153 | in |
108 | | - { |
109 | | - terra-1-blinky = pkgs.callPackage ./examples/blinky { |
110 | | - aegis-ip = terra-1; |
111 | | - }; |
112 | | - terra-1-blinky-sim = pkgs.callPackage ./tests/blinky-sim { |
113 | | - aegis-ip = terra-1; |
114 | | - }; |
115 | | - terra-1-counter = pkgs.callPackage ./tests/counter-verify { |
116 | | - aegis-ip = terra-1; |
117 | | - }; |
118 | | - terra-1-shift-register = pkgs.callPackage ./tests/shift-register { |
119 | | - aegis-ip = terra-1; |
120 | | - }; |
121 | | - terra-1-logic-gates = pkgs.callPackage ./tests/logic-gates { |
122 | | - aegis-ip = terra-1; |
123 | | - }; |
124 | | - # Formal verification checks |
125 | | - terra-1-tile-bits = pkgs.callPackage ./tests/tile-bits-consistency { |
126 | | - aegis-ip = terra-1; |
127 | | - }; |
128 | | - terra-1-synth-equiv-comb = pkgs.callPackage ./tests/synth-equiv { |
129 | | - aegis-ip = terra-1; |
130 | | - design = "comb"; |
131 | | - }; |
132 | | - terra-1-synth-equiv-counter = pkgs.callPackage ./tests/synth-equiv { |
133 | | - aegis-ip = terra-1; |
134 | | - design = "counter"; |
135 | | - }; |
136 | | - terra-1-formal-ip = pkgs.callPackage ./tests/formal-ip { |
137 | | - aegis-ip = terra-1; |
138 | | - }; |
139 | | - terra-1-gds-verify = pkgs.callPackage ./tests/gds-verify { |
140 | | - aegis-tapeout = self.packages.${system}.terra-1-tapeout; |
141 | | - }; |
142 | | - }; |
| 154 | + lib.foldl' (acc: name: acc // mkDeviceChecks name) { } devices; |
143 | 155 |
|
144 | | - devShells = { |
145 | | - default = pkgs.aegis-ip-tools.shell; |
146 | | - ip-tools = pkgs.aegis-ip-tools.shell; |
147 | | - terra-1 = self.packages.${system}.terra-1.shell; |
148 | | - terra-1-tapeout = self.packages.${system}.terra-1-tapeout.shell; |
149 | | - terra-1-blinky = self.checks.${system}.terra-1-blinky.shell; |
150 | | - }; |
| 156 | + devShells = |
| 157 | + let |
| 158 | + devices = builtins.filter ( |
| 159 | + name: |
| 160 | + let |
| 161 | + pkg = self.packages.${system}.${name}; |
| 162 | + in |
| 163 | + pkg ? deviceName && !(pkg ? tileMacros) |
| 164 | + ) (builtins.attrNames self.packages.${system}); |
| 165 | + mkDeviceShells = name: { |
| 166 | + "${name}" = self.packages.${system}.${name}.shell; |
| 167 | + "${name}-tapeout" = self.packages.${system}."${name}-tapeout".shell; |
| 168 | + "${name}-blinky" = self.checks.${system}."${name}-blinky".shell; |
| 169 | + }; |
| 170 | + in |
| 171 | + { |
| 172 | + default = pkgs.aegis-ip-tools.shell; |
| 173 | + ip-tools = pkgs.aegis-ip-tools.shell; |
| 174 | + } |
| 175 | + // lib.foldl' (acc: name: acc // mkDeviceShells name) { } devices; |
151 | 176 | }; |
152 | 177 | }; |
153 | 178 | } |
0 commit comments