| *** tpb has joined #yosys | 00:00 | |
| *** danieljabailey has joined #yosys | 00:00 | |
| *** cr1901_modern has quit IRC | 00:03 | |
| ZipCPU | Anyone 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 IRC | 00:14 | |
| *** kuldeep has joined #yosys | 00:15 | |
| *** cr1901_modern has joined #yosys | 00:19 | |
| *** develonepi3 has quit IRC | 00:38 | |
| *** dxld has quit IRC | 00:54 | |
| *** dxld has joined #yosys | 00:56 | |
| *** digshadow has quit IRC | 02:06 | |
| *** seldridge has quit IRC | 02:13 | |
| *** m_w has quit IRC | 02:14 | |
| *** ZipCPU has quit IRC | 02:30 | |
| *** ZipCPU has joined #yosys | 02:30 | |
| *** digshadow has joined #yosys | 02:33 | |
| *** Chobbes has quit IRC | 02:38 | |
| *** dxld has quit IRC | 03:14 | |
| *** dxld has joined #yosys | 03:17 | |
| *** leviathanch has joined #yosys | 03:22 | |
| *** seldridge has joined #yosys | 03:52 | |
| *** dys has quit IRC | 04:18 | |
| *** seldridge has quit IRC | 04:21 | |
| *** ZipCPU has quit IRC | 04:22 | |
| *** ZipCPU has joined #yosys | 04:31 | |
| *** puddingpimp has joined #yosys | 04:40 | |
| *** promach_ has quit IRC | 04:44 | |
| *** dys has joined #yosys | 05:02 | |
| *** dys has quit IRC | 06:25 | |
| *** promach has joined #yosys | 06:33 | |
| *** emeb_mac has quit IRC | 06:38 | |
| *** aiju has joined #yosys | 07:23 | |
| aiju | not strictly yosys related but i'm working on a verilog implementation and wondering how unsized constants are supposed to work exactly | 07:25 |
| aiju | does someone here know how they work in yosys and other implementations? | 07:27 |
| aiju | ieee 1364-2005 seems to make a number of almost contradictory statement on the matter | 07:29 |
| aiju | it kind of seems like it's supposed to be a separate type but then again not really | 07:38 |
| *** promach has quit IRC | 07:47 | |
| *** promach has joined #yosys | 07:53 | |
| *** indy has quit IRC | 07:54 | |
| *** GuzTech has joined #yosys | 08:11 | |
| *** indy has joined #yosys | 08:56 | |
| ZipCPU | aiju: Unsized constants need to be connected to sized wires and registers | 11:39 |
| ZipCPU | They are assumed to be unsigned, even if negative, so bits are just dropped if I understand correctly | 11:40 |
| ZipCPU | I 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-2005 | 11:55 |
| aiju | are you talking about 'd23? | 11:56 |
| aiju | "23" and "'sd23" are signed, "'d23" is unsigned | 11:58 |
| aiju | however 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 #yosys | 12:00 | |
| *** clifford has quit IRC | 12:08 | |
| aiju | i've just reread the section on expression width and found this statement: In general, any context-determined operand of an | 12:10 |
| aiju | operator shall be the same type and size as the result of the operator. | 12:10 |
| aiju | which is curious because it implies strange things happen with divisions and right shifts so i kinda suspected it's not implemented literally | 12:11 |
| ZipCPU | "reg" and "wire" are unsigned, whereas "reg signed" and "wire signed" are signed. | 12:11 |
| aiju | If the operand must be extended, | 12:32 |
| aiju | then it shall be sign-extended only if the propagated type is signed. | 12:32 |
| aiju | more fun stuff... | 12:32 |
| aiju | ZipCPU: ah, sorry, i thought "they" referred to the constants, not the registers | 12:33 |
| *** m_t has joined #yosys | 12:34 | |
| *** cemerick has joined #yosys | 12:48 | |
| *** cemerick has quit IRC | 13:09 | |
| *** eduardo__ has quit IRC | 13:11 | |
| *** promach_ has joined #yosys | 13:49 | |
| *** leviathanch has quit IRC | 13:49 | |
| *** leviathan has joined #yosys | 14:01 | |
| *** seldridge has joined #yosys | 14:09 | |
| *** seldridge has quit IRC | 14:38 | |
| *** dxld has quit IRC | 14:50 | |
| *** dxld has joined #yosys | 14:52 | |
| *** promach_ has quit IRC | 15:01 | |
| *** cemerick has joined #yosys | 15:33 | |
| *** zino has quit IRC | 15:47 | |
| *** seldridge has joined #yosys | 15:49 | |
| *** GuzTech has quit IRC | 15:49 | |
| *** GuzTech has joined #yosys | 15:58 | |
| *** GuzTech has quit IRC | 16:04 | |
| *** janrinze has quit IRC | 16:22 | |
| *** zino has joined #yosys | 16:24 | |
| *** seldridge has quit IRC | 16:35 | |
| *** cemerick_ has joined #yosys | 16:50 | |
| *** cemerick has quit IRC | 16:53 | |
| *** emeb has joined #yosys | 17:06 | |
| *** seldridge has joined #yosys | 17:19 | |
| *** digshadow has quit IRC | 17:23 | |
| *** leviathan has quit IRC | 17:38 | |
| *** cemerick has joined #yosys | 17:54 | |
| *** sklv has quit IRC | 17:55 | |
| *** cemerick_ has quit IRC | 17:56 | |
| *** digshadow has joined #yosys | 17:57 | |
| *** sklv has joined #yosys | 18:10 | |
| *** seldridge has quit IRC | 18:12 | |
| *** gnufan1 has joined #yosys | 18:19 | |
| *** gnufan has quit IRC | 18:21 | |
| *** sandeepkr has joined #yosys | 18:22 | |
| *** cemerick has quit IRC | 18:37 | |
| *** seldridge has joined #yosys | 18:40 | |
| *** kuldeep has quit IRC | 19:08 | |
| *** sandeepkr has quit IRC | 19:08 | |
| *** kuldeep has joined #yosys | 19:27 | |
| *** sandeepkr has joined #yosys | 19:27 | |
| *** seldridge has quit IRC | 19:37 | |
| *** seldridge has joined #yosys | 19:50 | |
| *** m_t has quit IRC | 20:08 | |
| *** kuldeep has quit IRC | 20:13 | |
| *** sandeepkr has quit IRC | 20:14 | |
| *** kuldeep has joined #yosys | 20:23 | |
| *** janrinze has joined #yosys | 20:44 | |
| *** xerpi has joined #yosys | 21:38 | |
| *** xerpi has quit IRC | 21:58 | |
| *** seldridge has quit IRC | 22:25 | |
| *** danieljabailey has quit IRC | 23:12 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!