mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-07-30 18:56:16 +00:00
16 lines
421 B
Text
16 lines
421 B
Text
// Constraint file for Meta-Manifold Prover on Gowin GW1NR-9 / Tang Nano 9K
|
|
// Minimal pin assignments using only known working pins
|
|
|
|
// Clock
|
|
IO_LOC "clk" 52;
|
|
IO_PORT "clk" IO_TYPE=LVCMOS33 PULL_MODE=NONE;
|
|
|
|
// Reset (active low, button)
|
|
IO_LOC "rst_n" 4;
|
|
IO_PORT "rst_n" IO_TYPE=LVCMOS33 PULL_MODE=UP;
|
|
|
|
// Status LEDs
|
|
IO_LOC "busy" 10;
|
|
IO_PORT "busy" IO_TYPE=LVCMOS33;
|
|
IO_LOC "done" 11;
|
|
IO_PORT "done" IO_TYPE=LVCMOS33;
|