*** tpb has joined #yosys | 00:00 | |
*** dxld has quit IRC | 00:45 | |
*** dxld has joined #yosys | 00:46 | |
*** TommyT has joined #yosys | 00:46 | |
TommyT | It's Sunday and I figured I'd try out yosys and the iCE40 stick. It works brilliantly. However ... | 00:47 |
---|---|---|
TommyT | ... I played around with the rot example and got a very currious result with the timing analyser. A simpler circuit times in at 169.89 MHz whereas a circuit with a two-bit longer adders reaches 245.30 MHz | 00:49 |
ZipCPU | Wow, an iCE40 can do more than 150MHz at all? | 00:53 |
ZipCPU | mithro: I've never used iverilog | 00:53 |
mithro | TommyT: Take a look at the timing output network | 00:54 |
mithro | ZipCPU: You use verilator? | 00:59 |
ZipCPU | mithro: A little googling suggest that dumpfile isn't sufficient, you'll need dumpvars as well./ | 00:59 |
ZipCPU | mithro: Yes, I'm a very heavy verilator user. | 00:59 |
*** pie__ has quit IRC | 01:01 | |
ZipCPU | Although ... now that I've gotten involved in Formal, I don't do quite so much with Verilator as I used to. ;) | 01:02 |
TommyT | @mithro: fast version "Resolvable net names on path: 0.640 ns .. 1.229 ns divider[0] ... 3.270 ns .. 3.859 ns $auto$alumacc.cc:474:replace_alu$13.C[9]" | 01:05 |
TommyT | Total number of logic levels: 11 Total path delay: 4.08 ns (245.30 MHz) | 01:05 |
TommyT | The simpler/slower circuit: "Resolvable net names on path: 0.640 ns .. 0.640 ns divider[8] 3.964 ns .. 3.964 ns divider[8]$2 4.413 ns .. 5.886 ns $abc$204$n6" | 01:06 |
TommyT | Total number of logic levels: 2 Total path delay: 5.89 ns (169.89 MHz) | 01:06 |
*** m_t has quit IRC | 01:07 | |
TommyT | What's the right way to dig deeper? | 01:07 |
mithro | TommyT: What icetime are you running? | 01:07 |
TommyT | This is freshly cloned from github an hour ago | 01:07 |
mithro | TommyT: I meant what arguments are you giving it? | 01:08 |
TommyT | I'm following the http://www.clifford.at/icestorm/ example literally, thus I'm invoking icetime -tmd hx1k rot.asc | 01:09 |
tpb | Title: Project IceStorm (at www.clifford.at) | 01:09 |
mithro | TommyT: Add a -v | 01:12 |
TommyT | Gives me "Usage: icetime ..." | 01:12 |
TommyT | Ah | 01:12 |
TommyT | I see, the -v doesn't mix with the other options | 01:13 |
mithro | TommyT: Should give you a pretty detailed information on how it calculated the timing | 01:15 |
TommyT | :) Thanks, I'd have to read up to understand that, but AFAICT, the routing is randomly worse for the simpler case. I guess that surprised me (I've never see such an extreme case with X or A) | 01:16 |
mithro | TommyT: I guess with large cells, the difference between one and two tiles make make a big effect? | 01:18 |
TommyT | TIL: giving arachne-pnr a -r can make a big difference. Now the simpler design hits 275 MHz. I guess I should also play with the seed | 01:21 |
mithro | Clifford was complaining at me regarding that -- with arachne-pnr not being timing driven the seed really matters apparently | 01:21 |
TommyT | Dramatically so apparently. Seeds 1..10 gets results all over [162;274] MHz! | 01:24 |
*** promach_ has quit IRC | 01:34 | |
*** lutsabound has quit IRC | 02:15 | |
*** lutsabound has joined #yosys | 02:41 | |
*** promach has quit IRC | 02:50 | |
*** seldridge has quit IRC | 03:18 | |
*** TommyT has quit IRC | 03:25 | |
*** zino has quit IRC | 03:55 | |
*** promach has joined #yosys | 04:04 | |
*** lutsabound has quit IRC | 04:55 | |
*** mwk has quit IRC | 06:57 | |
*** mwk has joined #yosys | 06:57 | |
*** emeb_mac has quit IRC | 06:59 | |
*** promach has quit IRC | 07:41 | |
*** samayra has quit IRC | 08:09 | |
*** swick has quit IRC | 08:09 | |
*** marbler has quit IRC | 08:09 | |
*** fevv8[m] has quit IRC | 08:09 | |
*** eduardo_ has joined #yosys | 08:11 | |
*** promach has joined #yosys | 08:23 | |
*** fevv8[m] has joined #yosys | 08:28 | |
*** marbler has joined #yosys | 08:36 | |
*** samayra has joined #yosys | 08:36 | |
*** swick has joined #yosys | 08:39 | |
*** promach has quit IRC | 08:44 | |
*** promach has joined #yosys | 08:48 | |
*** promach has quit IRC | 09:24 | |
*** promach has joined #yosys | 09:28 | |
*** fsasm has joined #yosys | 09:31 | |
*** jwhitmore has joined #yosys | 09:40 | |
*** pie__ has joined #yosys | 09:46 | |
*** ar3itrary has quit IRC | 10:27 | |
*** ar3itrary has joined #yosys | 10:28 | |
*** m_t has joined #yosys | 10:39 | |
*** promach has quit IRC | 10:53 | |
*** AlexDani` has joined #yosys | 10:55 | |
*** AlexDaniel has quit IRC | 10:57 | |
*** promach has joined #yosys | 11:00 | |
*** lutsabound has joined #yosys | 11:28 | |
*** luismarques has joined #yosys | 12:27 | |
*** seldridge has joined #yosys | 12:32 | |
*** promach has quit IRC | 12:33 | |
*** promach has joined #yosys | 12:40 | |
*** seldridge has quit IRC | 13:05 | |
*** emeb has joined #yosys | 13:28 | |
*** seldridge has joined #yosys | 13:29 | |
*** seldridge has quit IRC | 13:49 | |
*** promach_ has joined #yosys | 14:03 | |
*** jwhitmore has quit IRC | 14:03 | |
*** zino has joined #yosys | 14:13 | |
*** pie__ has quit IRC | 14:32 | |
*** pie_ has joined #yosys | 14:32 | |
*** develonepi3 has quit IRC | 15:09 | |
*** jwhitmore has joined #yosys | 15:12 | |
*** pie_ has quit IRC | 15:19 | |
*** pie_ has joined #yosys | 15:19 | |
*** m_t has quit IRC | 15:28 | |
*** X-Scale has quit IRC | 15:34 | |
*** X-Scale has joined #yosys | 15:35 | |
*** [X-Scale] has joined #yosys | 15:40 | |
*** X-Scale has quit IRC | 15:41 | |
*** [X-Scale] is now known as X-Scale | 15:41 | |
*** lutsabound has quit IRC | 15:47 | |
*** m_w has joined #yosys | 16:01 | |
*** promach_ has quit IRC | 16:07 | |
*** luismarques has quit IRC | 16:09 | |
*** pie__ has joined #yosys | 16:15 | |
*** pie_ has quit IRC | 16:17 | |
*** luismarques has joined #yosys | 16:30 | |
*** lutsabound has joined #yosys | 16:42 | |
*** m_w has quit IRC | 16:47 | |
*** fsasm has quit IRC | 17:26 | |
*** AlexDani` is now known as AlexDaniel | 17:29 | |
*** digshadow has quit IRC | 17:33 | |
*** pie___ has joined #yosys | 17:47 | |
*** pie__ has quit IRC | 17:51 | |
*** luismarques has quit IRC | 18:20 | |
*** luismarques has joined #yosys | 18:25 | |
*** digshadow has joined #yosys | 18:25 | |
*** luismarques has quit IRC | 18:30 | |
*** dys has joined #yosys | 18:49 | |
*** luismarques has joined #yosys | 18:49 | |
*** pie___ has quit IRC | 18:50 | |
*** lutsabound has quit IRC | 18:57 | |
*** proteus-guy has joined #yosys | 19:01 | |
*** luismarques has quit IRC | 19:07 | |
*** jwhitmore has quit IRC | 19:10 | |
*** pie___ has joined #yosys | 19:17 | |
*** AlexDaniel has quit IRC | 19:29 | |
*** m_t has joined #yosys | 19:41 | |
*** seldridge has joined #yosys | 19:53 | |
*** lutsabound has joined #yosys | 20:03 | |
*** luismarques has joined #yosys | 20:17 | |
*** digshadow has quit IRC | 20:32 | |
*** digshadow has joined #yosys | 21:02 | |
*** mazzoo_ has joined #yosys | 21:17 | |
*** mazzoo has quit IRC | 21:17 | |
*** mazzoo_ has quit IRC | 21:19 | |
*** mazzoo has joined #yosys | 21:22 | |
*** pie___ has quit IRC | 22:00 | |
*** dys has quit IRC | 22:24 | |
*** seldridge has quit IRC | 22:24 | |
*** pie___ has joined #yosys | 22:29 | |
*** TD-Linux has joined #yosys | 22:33 | |
*** smarter has joined #yosys | 22:38 | |
*** AlexDaniel has joined #yosys | 22:46 | |
*** promach_ has joined #yosys | 22:57 | |
*** zetta1 has joined #yosys | 23:27 | |
*** Kooda has quit IRC | 23:28 | |
*** Kooda1 has joined #yosys | 23:28 | |
*** zetta has quit IRC | 23:29 |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!