| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
|
|
|
|
|
|
|
|
| |
The previous logic tied LUT input pins to VCC if a wire was unplacable.
This missed a case where the net was present to the input of the LUT,
but a wire was still not legal. This case is now prevented by tying the
output of the LUT to an unused net.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
|
|
|
|
|
|
| |
Previous pseudo pips were the same cost as regular pips, but this is
definitely too fast, and meant that the router was prefering them.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
|
|
|
|
|
|
| |
getBelPinWire and getBelPinType are marked as always inline, but were
not defined in a header.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
|
|
|
|
|
|
| |
This prevents the general router from routing through sites, which is
not legal in FPGA interchange.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
|
|
|
| |
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
|\
| |
| | |
[interchange] Add some documentation for the site router.
|
| |
| |
| |
| | |
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
|\ \
| |/
|/| |
interchange: counter: testing on multiple boards
|
| |
| |
| |
| | |
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
|
|/
|
|
|
|
|
| |
Changes:
- Adds LUT output pin to LutBelPOD.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
|\
| |
| | |
fpga_interchange: Add CMake support for Nexus/prjoxide
|
| |
| |
| |
| | |
Signed-off-by: gatecat <gatecat@ds0.me>
|
| |
| |
| |
| | |
Signed-off-by: gatecat <gatecat@ds0.me>
|
| |
| |
| |
| | |
Signed-off-by: gatecat <gatecat@ds0.me>
|
| |
| |
| |
| | |
Signed-off-by: gatecat <gatecat@ds0.me>
|
| |
| |
| |
| | |
Signed-off-by: gatecat <gatecat@ds0.me>
|
| |
| |
| |
| |
| |
| |
| | |
This occurs when the driver pin and sink pin are part of the same site,
but not reachable with site routing only.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
|/
|
|
|
|
| |
Previous code allowed router to entire sites with no sinks.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
|
|
|
| |
Signed-off-by: gatecat <gatecat@ds0.me>
|
|\
| |
| | |
FPGA interchange: Add counter and ram tests
|
| |
| |
| |
| | |
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
| |
| |
| |
| |
| |
| |
| | |
This resulted in valid site routing solutions being missed. Underlying
bug was an off-by-one error when unwinding a failed solution.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
| |
| |
| |
| |
| |
| |
| |
| | |
- Finishes implementation of SiteArch::nameOfPip and SiteArch::nameOfWire
- Adds "explain_bel_status", which should be an exhaustive diagnostic
of the status of a BEL placement.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
| |
| |
| |
| | |
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
| |
| |
| |
| | |
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
| |
| |
| |
| | |
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
| |
| |
| |
| |
| |
| |
| | |
- Add IDEMPOTENT_CHECK define to perform some expected idempotent
operations more than once to verify they work as expected.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
| |
| |
| |
| | |
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
| |
| |
| |
| |
| |
| |
| | |
If get_net_type was called before the driver was placed, it could return
the wrong value.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
| |
| |
| |
| | |
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
|/
|
|
|
|
|
| |
This increases parallelism and should make the FPGA interchange CI
faster
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
|
|
|
|
| |
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
|
|
|
|
| |
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
|
|
|
|
| |
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
|
|
|
|
| |
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
|
|
|
|
| |
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
|
|
|
|
| |
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
|
|
|
|
| |
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
|
|\
| |
| | |
[FPGA interchange] Add support for global buffers from chipdb.
|
| |
| |
| |
| | |
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
|\ \
| | |
| | | |
[FPGA interchange] Convert some string constants to IdString.
|
| | |
| | |
| | |
| | |
| | |
| | | |
Also add some optional diagnostic prints for cell -> BEL pin mapping.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
|\ \ \
| | |/
| |/| |
Initial inverter logic for FPGA interchange
|
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
For now just implements some inspection capabilities, and the site
router (for now) avoids inverted paths.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
|\| |
| |/
|/| |
Update parameter processing based on new DeviceResources metadata
|
| |
| |
| |
| | |
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
| |
| |
| |
| | |
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
| |
| |
| |
| | |
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
|
|\ \
| |/
|/| |
interchange: Add nice error for missing cell pins
|
| |
| |
| |
| | |
Signed-off-by: gatecat <gatecat@ds0.me>
|