| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** lexano <[email protected]> has quit IRC (Ping timeout: 272 seconds) | 00:18 | |
| *** sorear <[email protected]> has quit IRC (Read error: Connection reset by peer) | 02:46 | |
| *** dnm <[email protected]> has quit IRC (Read error: Connection reset by peer) | 02:46 | |
| *** sorear <[email protected]> has joined #yosys | 02:46 | |
| *** dnm <[email protected]> has joined #yosys | 02:46 | |
| *** Guest42 <[email protected]> has joined #yosys | 03:00 | |
| Guest42 | Hi, I have some problems about the sat pass in yosys | 03:01 |
|---|---|---|
| Guest42 | 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 |
| *** Guest42 <[email protected]> has quit IRC (Quit: Client closed) | 03:28 | |
| mewt | 10;rgb:9700/9d00/b40011;rgb:2000/2700/460025 | 03:28 |
| mewt | sorry | 03:29 |
| *** Guest42 <[email protected]> has joined #yosys | 03:29 | |
| *** Guest42 is now known as hm | 03:30 | |
| *** emeb_mac <[email protected]> has quit IRC (Quit: Leaving.) | 06:01 | |
| *** FabM <[email protected]> has joined #yosys | 06:59 | |
| *** krispaul <[email protected]> has joined #yosys | 08:03 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 246 seconds) | 08:05 | |
| 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 |
| *** hm <[email protected]> has quit IRC (Quit: Client closed) | 11:59 | |
| *** nak_ <nak_!~nak@yosys/nak> has quit IRC (Quit: Bye) | 12:12 | |
| *** lexano <[email protected]> has joined #yosys | 12:15 | |
| *** emeb_mac <[email protected]> has joined #yosys | 13:12 | |
| *** lilibox <[email protected]> has joined #yosys | 14:11 | |
| *** Guest42 <[email protected]> has joined #yosys | 14:24 | |
| *** krispaul <[email protected]> has quit IRC (Quit: WeeChat 3.5) | 14:43 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 14:43 | |
| *** Guest42 <[email protected]> has quit IRC (Quit: Client closed) | 14:57 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Remote host closed the connection) | 15:00 | |
| *** lexano <[email protected]> has quit IRC (Ping timeout: 260 seconds) | 19:23 | |
| *** lexano <[email protected]> has joined #yosys | 19:35 | |
| *** lexano <[email protected]> has quit IRC (Ping timeout: 272 seconds) | 20:31 | |
| *** lexano <[email protected]> has joined #yosys | 20:44 | |
| *** flag <[email protected]> has quit IRC (Ping timeout: 264 seconds) | 21:07 | |
| *** flag <[email protected]> has joined #yosys | 21:09 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:37 | |
| *** nonchip <[email protected]> has joined #yosys | 22:37 | |
| *** cyrozap_ is now known as cyrozap | 23:25 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!