6 Sep 2024 |
@libera_Guest42:catircservices.org | Does sat support set two signal not equal? For example there are two registers : reg [3:0] a, a1; how can I constraint a != a1? | 03:03:17 |
| @libera_Guest42:catircservices.org left the room. | 03:28:49 |
mewt | 10;rgb:9700/9d00/b40011;rgb:2000/2700/460025 | 03:28:56 |
mewt | sorry | 03:29:02 |
| @libera_Guest42:catircservices.org joined the room. | 03:29:30 |
| emeb_mac left the room. | 06:01:02 |
| @libera_FabM:catircservices.org joined the room. | 06:59:51 |
| @libera_FabM:catircservices.org left the room. | 06:59:52 |
| krispaul joined the room. | 08:03:44 |
| @libera_kristianpaul:catircservices.org left the room. | 08:05:00 |
| hm joined the room. | 08:12:49 |
hm | Hi everyone, I asked a question about using the 'sat' pass in Yosys for parsing Verilog files a couple of hours ago. I would really appreciate it if anyone with experience could offer some guidance. Thanks in advance for your help! | 08:12:49 |
| @libera_nak_:catircservices.org left the room. | 12:12:10 |
| lexano joined the room. | 12:15:52 |
| emeb_mac joined the room. | 13:12:18 |
| lilibox joined the room. | 14:11:23 |
| krispaul left the room. | 14:43:29 |
| @libera_kristianpaul:catircservices.org joined the room. | 14:43:51 |
| @libera_Guest42:catircservices.org left the room. | 14:57:40 |
| lexano left the room. | 19:23:24 |
| lexano joined the room. | 19:35:58 |
| lexano left the room. | 20:31:36 |
| lexano joined the room. | 20:44:55 |
| flag left the room. | 21:07:19 |
| flag joined the room. | 21:09:08 |
| nonchip left the room. | 22:37:13 |
| nonchip joined the room. | 22:37:22 |
7 Sep 2024 |
| tpb left the room. | 00:00:01 |
| tpb joined the room. | 00:00:16 |
| lexano left the room. | 00:26:52 |