diff options
| -rw-r--r-- | .cirrus/Dockerfile.ubuntu20.04 | 2 | ||||
| -rw-r--r-- | CMakeLists.txt | 4 | ||||
| -rw-r--r-- | common/archcheck.cc | 82 | ||||
| -rw-r--r-- | gowin/CMakeLists.txt | 2 |
4 files changed, 80 insertions, 10 deletions
diff --git a/.cirrus/Dockerfile.ubuntu20.04 b/.cirrus/Dockerfile.ubuntu20.04 index 1634a527..0cb94fcf 100644 --- a/.cirrus/Dockerfile.ubuntu20.04 +++ b/.cirrus/Dockerfile.ubuntu20.04 @@ -64,4 +64,4 @@ RUN set -e -x ;\ PATH=$PATH:$HOME/.cargo/bin cargo install --path prjoxide RUN set -e -x ;\ - pip3 install apycula==0.0.1a3 + pip3 install apycula==0.0.1a5 diff --git a/CMakeLists.txt b/CMakeLists.txt index 344db1fb..b6fddcf1 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -193,7 +193,9 @@ aux_source_directory(3rdparty/json11 EXT_JSON11_FILES) aux_source_directory(frontend/ FRONTEND_FILES) set(COMMON_FILES ${COMMON_SRC_FILES} ${EXT_JSON11_FILES} ${JSON_PARSER_FILES} ${FRONTEND_FILES}) -set(CMAKE_BUILD_TYPE Release) +if( NOT CMAKE_BUILD_TYPE ) + set(CMAKE_BUILD_TYPE Release) +endif() if(CMAKE_CROSSCOMPILING) set(BBA_IMPORT "IMPORTFILE-NOTFOUND" CACHE FILEPATH diff --git a/common/archcheck.cc b/common/archcheck.cc index 7b727e9b..12d4b5d3 100644 --- a/common/archcheck.cc +++ b/common/archcheck.cc @@ -38,21 +38,27 @@ void archcheck_names(const Context *ctx) for (BelId bel : ctx->getBels()) { IdString name = ctx->getBelName(bel); BelId bel2 = ctx->getBelByName(name); - log_assert(bel == bel2); + if(bel != bel2) { + log_error("bel != bel2, name = %s\n", name.c_str(ctx)); + } } log_info("Checking wire names..\n"); for (WireId wire : ctx->getWires()) { IdString name = ctx->getWireName(wire); WireId wire2 = ctx->getWireByName(name); - log_assert(wire == wire2); + if(wire != wire2) { + log_error("wire != wire2, name = %s\n", name.c_str(ctx)); + } } #ifndef ARCH_ECP5 log_info("Checking pip names..\n"); for (PipId pip : ctx->getPips()) { IdString name = ctx->getPipName(pip); PipId pip2 = ctx->getPipByName(name); - log_assert(pip == pip2); + if(pip != pip2) { + log_error("pip != pip2, name = %s\n", name.c_str(ctx)); + } } #endif log_break(); @@ -117,15 +123,77 @@ void archcheck_locs(const Context *ctx) void archcheck_conn(const Context *ctx) { -#if 0 log_info("Checking connectivity data.\n"); - log_info("Checking all wires..\n"); + log_info("Checking all wires...\n"); + for (WireId wire : ctx->getWires()) { - ... + for(BelPin belpin : ctx->getWireBelPins(wire)) { + WireId wire2 = ctx->getBelPinWire(belpin.bel, belpin.pin); + log_assert(wire == wire2); + } + + for(PipId pip : ctx->getPipsDownhill(wire)) { + WireId wire2 = ctx->getPipSrcWire(pip); + log_assert(wire == wire2); + } + + for(PipId pip : ctx->getPipsUphill(wire)) { + WireId wire2 = ctx->getPipDstWire(pip); + log_assert(wire == wire2); + } + } + + log_info("Checking all BELs...\n"); + for (BelId bel : ctx->getBels()) { + for(IdString pin : ctx->getBelPins(bel)) { + WireId wire = ctx->getBelPinWire(bel, pin); + + if(wire == WireId()) { + continue; + } + + bool found_belpin = false; + for(BelPin belpin : ctx->getWireBelPins(wire)) { + if(belpin.bel == bel && belpin.pin == pin) { + found_belpin = true; + break; + } + } + + log_assert(found_belpin); + } + } + + log_info("Checking all PIPs...\n"); + for (PipId pip : ctx->getPips()) { + WireId src_wire = ctx->getPipSrcWire(pip); + if(src_wire != WireId()) { + bool found_pip = false; + for(PipId downhill_pip : ctx->getPipsDownhill(src_wire)) { + if(pip == downhill_pip) { + found_pip = true; + break; + } + } + + log_assert(found_pip); + } + + WireId dst_wire = ctx->getPipDstWire(pip); + if(dst_wire != WireId()) { + bool found_pip = false; + for(PipId uphill_pip : ctx->getPipsUphill(dst_wire)) { + if(pip == uphill_pip) { + found_pip = true; + break; + } + } + + log_assert(found_pip); + } } -#endif } } // namespace diff --git a/gowin/CMakeLists.txt b/gowin/CMakeLists.txt index 17484b29..695ef884 100644 --- a/gowin/CMakeLists.txt +++ b/gowin/CMakeLists.txt @@ -1,7 +1,7 @@ cmake_minimum_required(VERSION 3.5) project(chipdb-gowin NONE) -set(ALL_GOWIN_DEVICES GW1N-1 GW1N-9) +set(ALL_GOWIN_DEVICES GW1N-1 GW1N-4 GW1N-9) set(GOWIN_DEVICES ${ALL_GOWIN_DEVICES} CACHE STRING "Include support for these Gowin devices (available: ${ALL_GOWIN_DEVICES})") message(STATUS "Enabled Gowin devices: ${GOWIN_DEVICES}") |