Public

Thread: Yosys check errors found

7 Discord messages from ℹ️ - Information/⁉️-questions/threads/yosys-check-errors-found.md.

Category: ℹ️ - Information Parent channel: #⁉️-questions Thread ID: 1440427510159638538

Messages: 7

message-1440427510159638538

2025-11-18T19:44:40.271+00:00 — LukeW (@luke_w)

Content

I had this  message, failing in stage `08-checker-yosyssynthchecks`:

```
39 Yosys check errors found.
```

Grepping for `error` in my yosys synthesis log didn't show any likely-looking errors. I eventually realised that 39 was exactly the number of bidi pad data pins I'd not  yet bothered to connect (early hacking!) so my issue is solved, but next time I get this message, how do I find the actual errors? Is `yosys-synthesis.log` the wrong place to look?
<details> <summary>Other message metadata</summary>
{
  "author": {
    "avatarUrl": "2025-11_media/a2f98861602ee8229f4eb87d5c25d1b1-5FBF4.png",
    "discriminator": "0000",
    "isBot": false
  },
  "message": {}
}
</details>

message-1440439686526144552

2025-11-18T20:33:03.343+00:00 — aedancullen

Content

They are buried in `yosys-synthesis.log` (grep for "Executing CHECK pass") and also seem to appear separately in `reports/pre_synth_chk.rpt` (in the same yosys-synthesis step of the flow)

It is definitely confusing that the 08-checker step produces the error but isn't the producer of that file

Reactions

<details> <summary>Reactions data</summary>
[
  {
    "count": 1,
    "emoji": {
      "code": "thumbsup",
      "id": "",
      "imageUrl": "2025-11_media/1f44d-27259.svg",
      "isAnimated": false,
      "name": "👍"
    },
    "users": [
      {
        "avatarUrl": "2025-11_media/a2f98861602ee8229f4eb87d5c25d1b1-5FBF4.png",
        "color": null,
        "discriminator": "0000",
        "id": "803213471402688522",
        "isBot": false,
        "name": "_luke_w_",
        "nickname": "LukeW"
      }
    ]
  }
]
</details><details> <summary>Other message metadata</summary>
{
  "author": {
    "avatarUrl": "2025-11_media/fc1bc9aef8b4b153a5765fb1d45f5241-983A5.png",
    "discriminator": "0000",
    "isBot": false
  },
  "message": {}
}
</details>

message-1440478400174227487

2025-11-18T23:06:53.396+00:00 — LukeW (@luke_w)

Content

Weird, I did see the CHECK output but nothing obvious under there. Anyway thanks, I know where to look next time. Familiar name by the way 😅

Reactions

<details> <summary>Reactions data</summary>
[
  {
    "count": 1,
    "emoji": {
      "code": "slight_smile",
      "id": "",
      "imageUrl": "2025-11_media/1f642-83E8A.svg",
      "isAnimated": false,
      "name": "🙂"
    },
    "users": [
      {
        "avatarUrl": "2025-11_media/fc1bc9aef8b4b153a5765fb1d45f5241-983A5.png",
        "color": null,
        "discriminator": "0000",
        "id": "537091611323007003",
        "isBot": false,
        "name": "aedancullen",
        "nickname": "aedancullen"
      }
    ]
  }
]
</details><details> <summary>Other message metadata</summary>
{
  "author": {
    "avatarUrl": "2025-11_media/a2f98861602ee8229f4eb87d5c25d1b1-5FBF4.png",
    "discriminator": "0000",
    "isBot": false
  },
  "message": {
    "inlineEmojis": [
      {
        "code": "sweat_smile",
        "id": "",
        "imageUrl": "2025-11_media/1f605-42B43.svg",
        "isAnimated": false,
        "name": "😅"
      }
    ]
  }
}
</details>

message-1440533456940437708

2025-11-19T02:45:39.952+00:00 — LukeW (@luke_w)

Content

had to dig in a little more because I have a check.rpt saying:

```
Found and reported 0 problems.
```

And a state_out.json saying:

```
        "synthesis__check_error__count": 1
```

Seems like the  actual source for that log lint is here:
https://github.com/librelane/librelane/blob/2bf4f4a399da9d41fbef24814cd7946bf9692ead/librelane/steps/pyosys.py#L50-L92

Embeds

<details> <summary>Embeds data</summary>
[
  {
    "color": "#1E2327",
    "description": "ASIC implementation flow infrastructure. Contribute to librelane/librelane development by creating an account on GitHub.",
    "fields": [],
    "images": [],
    "inlineEmojis": [],
    "thumbnail": {
      "height": 600,
      "url": "2025-11_media/librelane-2ADA1",
      "width": 1200
    },
    "timestamp": null,
    "title": "librelane/librelane/steps/pyosys.py at 2bf4f4a399da9d41fbef24814cd7...",
    "url": "https://github.com/librelane/librelane/blob/2bf4f4a399da9d41fbef24814cd7946bf9692ead/librelane/steps/pyosys.py"
  }
]
</details><details> <summary>Other message metadata</summary>
{
  "author": {
    "avatarUrl": "2025-11_media/a2f98861602ee8229f4eb87d5c25d1b1-5FBF4.png",
    "discriminator": "0000",
    "isBot": false
  },
  "message": {}
}
</details>

message-1440533779826348216

2025-11-19T02:46:56.934+00:00 — LukeW (@luke_w)

Content

which got me the correct error (which should really be fatal  in yosys!)
```
Warning: Wire $paramod$053944574b759a0e3f2ebe9134306bd1be3bd197\twowire_dtm_core.\ndtmresetreq is used but has no driver.
```
<details> <summary>Other message metadata</summary>
{
  "author": {
    "avatarUrl": "2025-11_media/a2f98861602ee8229f4eb87d5c25d1b1-5FBF4.png",
    "discriminator": "0000",
    "isBot": false
  },
  "message": {}
}
</details>

message-1441578023856898190

2025-11-21T23:56:24.112+00:00 — Tim 'mithro' Ansell (@mithro_)

Content

@LukeW - Did you end up getting this one solved?
<details> <summary>Other message metadata</summary>
{
  "author": {
    "avatarUrl": "2025-11_media/9679bb77da48d47c905b398d98a83780-75B68.png",
    "discriminator": "0000",
    "isBot": false
  },
  "message": {
    "mentions": [
      {
        "avatarUrl": "2025-11_media/a2f98861602ee8229f4eb87d5c25d1b1-5FBF4.png",
        "color": null,
        "discriminator": "0000",
        "id": "803213471402688522",
        "isBot": false,
        "name": "_luke_w_",
        "nickname": "LukeW",
        "roles": []
      }
    ]
  }
}
</details>

message-1441588410002313468

2025-11-22T00:37:40.362+00:00 — LukeW (@luke_w)

Content

yep, I know the things to grep the log for now 🙂
<details> <summary>Other message metadata</summary>
{
  "author": {
    "avatarUrl": "2025-11_media/a2f98861602ee8229f4eb87d5c25d1b1-5FBF4.png",
    "discriminator": "0000",
    "isBot": false
  },
  "message": {
    "inlineEmojis": [
      {
        "code": "slight_smile",
        "id": "",
        "imageUrl": "2025-11_media/1f642-83E8A.svg",
        "isAnimated": false,
        "name": "🙂"
      }
    ]
  }
}
</details>