00:00
tpb has quit [Remote host closed the connection]
00:00
tpb has joined #yosys
00:18
tlwoerner has quit [Ping timeout: 260 seconds]
00:21
tlwoerner has joined #yosys
00:32
tlwoerner has quit [Ping timeout: 264 seconds]
00:33
tlwoerner has joined #yosys
00:37
lexano has quit [Ping timeout: 264 seconds]
00:39
tlwoerner has quit [Ping timeout: 264 seconds]
00:42
tlwoerner has joined #yosys
00:45
tlwoerner has quit [Read error: Connection reset by peer]
00:45
tlwoerner has joined #yosys
05:05
nak has quit [Ping timeout: 264 seconds]
05:08
nak has joined #yosys
05:15
kristianpaul has quit [Ping timeout: 264 seconds]
05:23
kristianpaul has joined #yosys
05:52
nak has quit [Ping timeout: 264 seconds]
05:53
nak has joined #yosys
06:01
kristianpaul has quit [Ping timeout: 260 seconds]
06:06
kristianpaul has joined #yosys
06:25
ec has quit [Remote host closed the connection]
06:26
ec has joined #yosys
06:56
kristianpaul has quit [Ping timeout: 264 seconds]
06:56
FabM has joined #yosys
06:56
FabM has joined #yosys
07:03
kristianpaul has joined #yosys
07:05
emeb_mac has quit [Quit: Leaving.]
07:17
kristianpaul has quit [Ping timeout: 255 seconds]
09:25
derekn has quit [Ping timeout: 252 seconds]
09:51
derekn has joined #yosys
10:02
kristianpaul has joined #yosys
12:35
lexano has joined #yosys
13:57
josuah has quit [Ping timeout: 256 seconds]
14:39
strobo5 has joined #yosys
15:24
emeb_mac has joined #yosys
18:15
oldtopman has quit [Ping timeout: 252 seconds]
18:29
oldtopman has joined #yosys
18:31
cr1901_ has joined #yosys
18:31
cr1901 has quit [Read error: Connection reset by peer]
19:46
Lord_Nightmare has joined #yosys
19:49
nak has quit [Ping timeout: 264 seconds]
19:50
nak has joined #yosys
20:09
mkudinov has joined #yosys
20:21
<
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
<
tpb >
Title: debian Pastezone (at paste.debian.net)
20:21
<
tpb >
Title: Imgur: The magic of the Internet (at imgur.com)
20:22
<
mkudinov >
Is this a bug or am I doing something wrong?
20:36
Wanda[cis] has joined #yosys
20:36
<
Wanda[cis] >
this looks like a netlistsvg bug
20:39
<
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 >
so NAND is actually present in the netlist
20:40
<
lofty >
no, NAND is not present
20:40
<
mkudinov >
my bad then
20:40
<
lofty >
A & ~B, which is different to ~(A & B)
20:41
<
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:43
<
mkudinov >
Thanks for help guys!
20:56
<
mkudinov >
Indeed they thought that ANDNOT refers to NAND just as me. It was fixed in the latest commit
21:04
mkudinov has quit [Quit: Client closed]
21:40
kristianpaul has quit [Ping timeout: 268 seconds]
21:42
kristianpaul has joined #yosys
21:49
FabM has quit [Ping timeout: 255 seconds]
23:26
nonchip has joined #yosys