Thursday, 2018-05-31

*** tpb has joined #yosys00:00
*** danieljabailey has joined #yosys00:00
*** cr1901_modern has quit IRC00:03
ZipCPUAnyone here have experience installing Avy on a newer Linux, such as Ubuntu 18.04?  I tried installing it and it failed on me.00:14
*** kuldeep has quit IRC00:14
*** kuldeep has joined #yosys00:15
*** cr1901_modern has joined #yosys00:19
*** develonepi3 has quit IRC00:38
*** dxld has quit IRC00:54
*** dxld has joined #yosys00:56
*** digshadow has quit IRC02:06
*** seldridge has quit IRC02:13
*** m_w has quit IRC02:14
*** ZipCPU has quit IRC02:30
*** ZipCPU has joined #yosys02:30
*** digshadow has joined #yosys02:33
*** Chobbes has quit IRC02:38
*** dxld has quit IRC03:14
*** dxld has joined #yosys03:17
*** leviathanch has joined #yosys03:22
*** seldridge has joined #yosys03:52
*** dys has quit IRC04:18
*** seldridge has quit IRC04:21
*** ZipCPU has quit IRC04:22
*** ZipCPU has joined #yosys04:31
*** puddingpimp has joined #yosys04:40
*** promach_ has quit IRC04:44
*** dys has joined #yosys05:02
*** dys has quit IRC06:25
*** promach has joined #yosys06:33
*** emeb_mac has quit IRC06:38
*** aiju has joined #yosys07:23
aijunot strictly yosys related but i'm working on a verilog implementation and wondering how unsized constants are supposed to work exactly07:25
aijudoes someone here know how they work in yosys and other implementations?07:27
aijuieee 1364-2005 seems to make a number of almost contradictory statement on the matter07:29
aijuit kind of seems like it's supposed to be a separate type but then again not really07:38
*** promach has quit IRC07:47
*** promach has joined #yosys07:53
*** indy has quit IRC07:54
*** GuzTech has joined #yosys08:11
*** indy has joined #yosys08:56
ZipCPUaiju: Unsized constants need to be connected to sized wires and registers11:39
ZipCPUThey are assumed to be unsigned, even if negative, so bits are just dropped if I understand correctly11:40
ZipCPUI tend to avoid them because the tools I use check for size changes and produce warnings--even when the behavior is exactly what I want.11:41
aiju"They are assumed to be unsigned" this is opposite of 1364-200511:55
aijuare you talking about 'd23?11:56
aiju"23" and "'sd23" are signed, "'d23" is unsigned11:58
aijuhowever the standard explicitly states that constants that start with "x" and "z" have that x/z extended to the "size of the expression" (whatever that means)12:00
*** develonepi3 has joined #yosys12:00
*** clifford has quit IRC12:08
aijui've just reread the section on expression width and found this statement: In general, any context-determined operand of an12:10
aijuoperator shall be the same type and size as the result of the operator.12:10
aijuwhich is curious because it implies strange things happen with divisions and right shifts so i kinda suspected it's not implemented literally12:11
ZipCPU"reg" and "wire" are unsigned, whereas "reg signed" and "wire signed" are signed.12:11
aijuIf the operand must be extended,12:32
aijuthen it shall be sign-extended only if the propagated type is signed.12:32
aijumore fun stuff...12:32
aijuZipCPU: ah, sorry, i thought "they" referred to the constants, not the registers12:33
*** m_t has joined #yosys12:34
*** cemerick has joined #yosys12:48
*** cemerick has quit IRC13:09
*** eduardo__ has quit IRC13:11
*** promach_ has joined #yosys13:49
*** leviathanch has quit IRC13:49
*** leviathan has joined #yosys14:01
*** seldridge has joined #yosys14:09
*** seldridge has quit IRC14:38
*** dxld has quit IRC14:50
*** dxld has joined #yosys14:52
*** promach_ has quit IRC15:01
*** cemerick has joined #yosys15:33
*** zino has quit IRC15:47
*** seldridge has joined #yosys15:49
*** GuzTech has quit IRC15:49
*** GuzTech has joined #yosys15:58
*** GuzTech has quit IRC16:04
*** janrinze has quit IRC16:22
*** zino has joined #yosys16:24
*** seldridge has quit IRC16:35
*** cemerick_ has joined #yosys16:50
*** cemerick has quit IRC16:53
*** emeb has joined #yosys17:06
*** seldridge has joined #yosys17:19
*** digshadow has quit IRC17:23
*** leviathan has quit IRC17:38
*** cemerick has joined #yosys17:54
*** sklv has quit IRC17:55
*** cemerick_ has quit IRC17:56
*** digshadow has joined #yosys17:57
*** sklv has joined #yosys18:10
*** seldridge has quit IRC18:12
*** gnufan1 has joined #yosys18:19
*** gnufan has quit IRC18:21
*** sandeepkr has joined #yosys18:22
*** cemerick has quit IRC18:37
*** seldridge has joined #yosys18:40
*** kuldeep has quit IRC19:08
*** sandeepkr has quit IRC19:08
*** kuldeep has joined #yosys19:27
*** sandeepkr has joined #yosys19:27
*** seldridge has quit IRC19:37
*** seldridge has joined #yosys19:50
*** m_t has quit IRC20:08
*** kuldeep has quit IRC20:13
*** sandeepkr has quit IRC20:14
*** kuldeep has joined #yosys20:23
*** janrinze has joined #yosys20:44
*** xerpi has joined #yosys21:38
*** xerpi has quit IRC21:58
*** seldridge has quit IRC22:25
*** danieljabailey has quit IRC23:12

Generated by 2.13.1 by Marius Gedminas - find it at!