*** tpb has joined #yosys | 00:00 | |
*** promach2 has joined #yosys | 00:24 | |
*** cemerick_ has joined #yosys | 00:31 | |
*** cemerick_ is now known as cemerick | 00:37 | |
*** oldtopman has quit IRC | 01:10 | |
*** oldtopman has joined #yosys | 01:11 | |
*** cemerick has quit IRC | 01:11 | |
*** promach2 has quit IRC | 01:45 | |
*** emeb has quit IRC | 01:54 | |
*** emeb_mac has joined #yosys | 01:57 | |
*** sklv2 has quit IRC | 02:12 | |
*** sklv2 has joined #yosys | 02:15 | |
*** promach_ has quit IRC | 03:37 | |
*** promach_ has joined #yosys | 03:42 | |
*** digshadow has quit IRC | 04:34 | |
*** seldridge has quit IRC | 04:39 | |
*** digshadow has joined #yosys | 04:52 | |
*** pointfree has quit IRC | 05:19 | |
*** grummel has quit IRC | 05:19 | |
*** asy has quit IRC | 05:19 | |
*** asy has joined #yosys | 05:19 | |
*** grummel has joined #yosys | 05:20 | |
*** pointfree has joined #yosys | 05:20 | |
*** eduardo__ has joined #yosys | 05:53 | |
*** eduardo_ has quit IRC | 05:57 | |
*** leviathan has joined #yosys | 06:05 | |
*** indy has quit IRC | 06:11 | |
*** indy has joined #yosys | 06:14 | |
*** AlexDaniel has joined #yosys | 06:41 | |
*** sklv2 has quit IRC | 06:54 | |
*** sklv2 has joined #yosys | 06:56 | |
*** digshadow has quit IRC | 07:07 | |
*** digshadow has joined #yosys | 07:17 | |
*** GuzTech has joined #yosys | 07:19 | |
*** xerpi has joined #yosys | 07:22 | |
*** emeb_mac has quit IRC | 07:28 | |
mattvenn | ZipCPU: thanks for the article | 07:36 |
---|---|---|
mattvenn | so if I just ensure that the target register has enough width, I don't need to care about any intermediate steps that may be larger? | 07:37 |
mattvenn | I'm sure I'm missing something | 07:37 |
mattvenn | like if I have a = b * c - d * e | 07:38 |
mattvenn | where does the b * c intermediate result happen before the subtract? | 07:39 |
*** jwhitmore has joined #yosys | 07:50 | |
*** xerpi has quit IRC | 07:51 | |
*** xrexeon has joined #yosys | 09:05 | |
*** FabM has quit IRC | 09:11 | |
*** FabM has joined #yosys | 09:26 | |
*** sklv has joined #yosys | 09:49 | |
*** cemerick has joined #yosys | 10:32 | |
*** leviathan has quit IRC | 11:23 | |
*** AlexDaniel has quit IRC | 11:36 | |
*** jwhitmore has quit IRC | 11:39 | |
*** jwhitmore has joined #yosys | 11:42 | |
*** leviathan has joined #yosys | 11:45 | |
*** AlexDaniel has joined #yosys | 12:01 | |
*** jkiv has joined #yosys | 12:06 | |
*** wakawaka has joined #yosys | 12:14 | |
*** wakawaka has quit IRC | 12:22 | |
*** jwhitmore has quit IRC | 12:37 | |
*** AlexDaniel has quit IRC | 12:48 | |
ZipCPU | mattvenn: I do tend to care about the immediate steps. Perhaps I don't need to care as much, but I do. | 13:01 |
ZipCPU | The biggest issue I've come across is signed vs unsigned, and width mismatches. | 13:01 |
ZipCPU | If you use { x, b, c} to adjust the width of an object, the object becomes unsigned. | 13:01 |
ZipCPU | If you don't adjust the width ... some synthesis tools complain. | 13:01 |
ZipCPU | Theoretically a <= b*c - d*e; should "just work". | 13:03 |
ZipCPU | Practically, I personally always break it down. | 13:03 |
ZipCPU | For example, I'm not sure there's hardware out there that will support that operation in a single clock. You could go faster if you broke it into two: | 13:04 |
ZipCPU | tmp_left <= b*c; tmp_right <= d*e; a <= tmp_left + tmp_right; | 13:04 |
*** cemerick has quit IRC | 13:15 | |
mattvenn | ok, which also makes it obvious how big tmp_left and tmp_right should be | 13:16 |
*** promach2 has joined #yosys | 13:27 | |
*** AlexDaniel has joined #yosys | 13:48 | |
*** seldridge has joined #yosys | 14:16 | |
*** emeb has joined #yosys | 14:23 | |
*** FabM has quit IRC | 14:34 | |
*** jwhitmore has joined #yosys | 14:35 | |
*** jwhitmore has quit IRC | 14:44 | |
*** proteusguy has quit IRC | 14:51 | |
*** proteusguy has joined #yosys | 14:52 | |
*** pie_ has joined #yosys | 15:08 | |
cr1901_modern | signed vs unsigned in Verilog is a mess, esp wrt multiplication. It's terse, but I recommend reading the verilog spec for this :'9 | 15:12 |
cr1901_modern | ;'(* | 15:12 |
cr1901_modern | :'(* damnit | 15:12 |
*** GuzTech has quit IRC | 15:27 | |
*** jkiv has quit IRC | 16:07 | |
*** jkiv has joined #yosys | 16:23 | |
*** sklv has quit IRC | 16:30 | |
*** sklv has joined #yosys | 16:30 | |
*** dys has joined #yosys | 16:42 | |
*** dys has quit IRC | 16:48 | |
*** jwhitmore has joined #yosys | 16:55 | |
*** digshadow has quit IRC | 17:09 | |
*** cemerick has joined #yosys | 17:23 | |
*** promach2 has quit IRC | 17:24 | |
*** digshadow has joined #yosys | 17:46 | |
*** digshadow has quit IRC | 18:04 | |
*** dys has joined #yosys | 18:08 | |
*** digshadow has joined #yosys | 18:35 | |
*** jwhitmore has quit IRC | 18:36 | |
*** jwhitmore has joined #yosys | 19:55 | |
*** jkiv has quit IRC | 20:07 | |
*** jkiv has joined #yosys | 20:09 | |
*** jkiv has quit IRC | 20:57 | |
*** xrexeon has quit IRC | 21:01 | |
*** xrexeon has joined #yosys | 21:03 | |
*** jwhitmore has quit IRC | 21:19 | |
*** cemerick has quit IRC | 21:26 | |
*** leviathan has quit IRC | 21:30 | |
*** digshadow has quit IRC | 21:36 | |
*** seldridge has quit IRC | 22:16 | |
*** jkiv has joined #yosys | 22:23 | |
*** jkiv has quit IRC | 22:26 | |
*** cemerick has joined #yosys | 23:01 | |
*** digshadow has joined #yosys | 23:41 |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!