| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** tlwoerner <[email protected]> has quit IRC (Ping timeout: 260 seconds) | 00:18 | |
| *** tlwoerner <[email protected]> has joined #yosys | 00:21 | |
| *** tlwoerner <[email protected]> has quit IRC (Ping timeout: 264 seconds) | 00:32 | |
| *** tlwoerner <[email protected]> has joined #yosys | 00:33 | |
| *** lexano <[email protected]> has quit IRC (Ping timeout: 264 seconds) | 00:37 | |
| *** tlwoerner <[email protected]> has quit IRC (Ping timeout: 264 seconds) | 00:39 | |
| *** tlwoerner <[email protected]> has joined #yosys | 00:42 | |
| *** tlwoerner <[email protected]> has quit IRC (Read error: Connection reset by peer) | 00:45 | |
| *** tlwoerner <[email protected]> has joined #yosys | 00:45 | |
| *** nak <nak!~nak@yosys/nak> has quit IRC (Ping timeout: 264 seconds) | 05:05 | |
| *** nak <nak!~nak@yosys/nak> has joined #yosys | 05:08 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 264 seconds) | 05:15 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 05:23 | |
| *** nak <nak!~nak@yosys/nak> has quit IRC (Ping timeout: 264 seconds) | 05:52 | |
| *** nak <nak!~nak@yosys/nak> has joined #yosys | 05:53 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 260 seconds) | 06:01 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 06:06 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Remote host closed the connection) | 06:25 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 06:26 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 264 seconds) | 06:56 | |
| *** FabM <FabM!~FabM@2a03:d604:10a:9a00:f4be:37d9:b762:70ba> has joined #yosys | 06:56 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 07:03 | |
| *** emeb_mac <[email protected]> has quit IRC (Quit: Leaving.) | 07:05 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 255 seconds) | 07:17 | |
| *** derekn <[email protected]> has quit IRC (Ping timeout: 252 seconds) | 09:25 | |
| *** derekn <[email protected]> has joined #yosys | 09:51 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 10:02 | |
| *** lexano <[email protected]> has joined #yosys | 12:35 | |
| *** josuah <[email protected]> has quit IRC (Ping timeout: 256 seconds) | 13:57 | |
| *** strobo5 <[email protected]> has joined #yosys | 14:39 | |
| *** emeb_mac <[email protected]> has joined #yosys | 15:24 | |
| *** oldtopman <[email protected]> has quit IRC (Ping timeout: 252 seconds) | 18:15 | |
| *** oldtopman <[email protected]> has joined #yosys | 18:29 | |
| *** cr1901_ <cr1901_!~cr1901@2601:8d:8600:226:c124:8c73:d612:ead7> has joined #yosys | 18:31 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:226:b01c:2c2f:ba16:d0d8> has quit IRC (Read error: Connection reset by peer) | 18:31 | |
| *** Lord_Nightmare <Lord_Nightmare!~Lord_Nigh@user/lord-nightmare/x-3657113> has quit IRC (Quit: ZNC - http://znc.in) | 19:43 | |
| *** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has joined #yosys | 19:46 | |
| *** nak <nak!~nak@yosys/nak> has quit IRC (Ping timeout: 264 seconds) | 19:49 | |
| *** nak <nak!~nak@yosys/nak> has joined #yosys | 19:50 | |
| *** mkudinov <mkudinov!~mkudinov@2a02:2168:a06:573e::2> has joined #yosys | 20:09 | |
| mkudinov | Hey guys. I've been synthesizing some examples from Harris & Harris book using Yosys and netlistsvg and I've got a very strange result. It should be AND with inverted input, but synthesis gave me NAND. Here's the code and synthesis commands: https://paste.debian.net/1309815/ And here's the synthesis result I've got (colored) and the solution from | 20:21 |
|---|---|---|
| mkudinov | the book (black and white): https://imgur.com/a/3UxaJvd | 20:21 |
| tpb | Title: debian Pastezone (at paste.debian.net) | 20:21 |
| tpb | Title: Imgur: The magic of the Internet (at imgur.com) | 20:21 |
| mkudinov | Is this a bug or am I doing something wrong? | 20:22 |
| *** Wanda[cis] <Wanda[cis]!mwkmwkmwkm@2a01:4f8:c012:5b7:0:1:0:c> has joined #yosys | 20:36 | |
| Wanda[cis] | this looks like a netlistsvg bug | 20:36 |
| mkudinov | Yeah I thought so too initially, but after synthesis Yosys gives this output: | 20:39 |
| mkudinov | ```3.1.2. Re-integrating ABC results. | 20:39 |
| mkudinov | ABC RESULTS: ANDNOT cells: 1 | 20:39 |
| mkudinov | ABC RESULTS: OR cells: 2 | 20:39 |
| mkudinov | ABC RESULTS: internal signals: 1 | 20:39 |
| mkudinov | ABC RESULTS: input signals: 3 | 20:39 |
| mkudinov | ABC RESULTS: output signals: 2 | 20:39 |
| mkudinov | ``` | 20:39 |
| mkudinov | so NAND is actually present in the netlist | 20:39 |
| lofty | no, NAND is not present | 20:40 |
| lofty | ANDNOT is | 20:40 |
| mkudinov | oh damn | 20:40 |
| mkudinov | my bad then | 20:40 |
| lofty | A & ~B, which is different to ~(A & B) | 20:40 |
| mkudinov | yeah now I got it, English is not my first language so I didn't know that ANDNOT is not equal to NAND | 20:41 |
| mkudinov | Thanks for help guys! | 20:43 |
| mkudinov | Indeed they thought that ANDNOT refers to NAND just as me. It was fixed in the latest commit | 20:56 |
| *** mkudinov <mkudinov!~mkudinov@2a02:2168:a06:573e::2> has quit IRC (Quit: Client closed) | 21:04 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 268 seconds) | 21:40 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 21:42 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 255 seconds) | 21:49 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 23:26 | |
| *** nonchip <[email protected]> has joined #yosys | 23:26 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!