| *** tpb has joined #yosys | 20:49 | |
| *** leviathan has quit IRC | 21:05 | |
| *** quigonjinn has joined #yosys | 21:06 | |
| *** jkiv has quit IRC | 21:08 | |
| *** jkiv has joined #yosys | 21:08 | |
| *** seldridge has quit IRC | 21:09 | |
| *** seldridge has joined #yosys | 21:11 | |
| maikmerten | ZipCPU, yup, I have :) | 21:23 |
|---|---|---|
| ZipCPU | Does the -r filename option solve your problem? | 21:24 |
| maikmerten | nah, that'll generate the usual timing report naming "the" critical path - but will write it into a file instead of dumping it to stdout | 21:26 |
| maikmerten | (just tried this) | 21:26 |
| maikmerten | but thanks for the suggestion! | 21:27 |
| ZipCPU | Here ... let me ask someone else ... | 21:31 |
| ZipCPU | Ok, so ... the answer then is that you cannot do it. You can get the timing for the critical path, or a specified net, just not for a "top 10" critical path set. | 21:36 |
| maikmerten | ah, thanks for researching! | 21:37 |
| maikmerten | (having a sorted list of "the worst" paths is something I quite like in Quartus and I wondered if icetime happens to have that feature, too) | 21:38 |
| maikmerten | thanks for the help --> off to bed :-) | 21:40 |
| *** maikmerten has quit IRC | 21:40 | |
| *** jkiv has quit IRC | 21:51 | |
| *** fsasm__ has joined #yosys | 21:58 | |
| *** fsasm_ has quit IRC | 22:00 | |
| *** cemerick has joined #yosys | 22:08 | |
| *** jkiv has joined #yosys | 22:09 | |
| *** fsasm_ has joined #yosys | 22:09 | |
| *** jkiv has quit IRC | 22:09 | |
| *** jkiv has joined #yosys | 22:10 | |
| *** jkiv has joined #yosys | 22:11 | |
| *** fsasm__ has quit IRC | 22:11 | |
| *** sklv has quit IRC | 22:24 | |
| *** sklv has joined #yosys | 22:25 | |
| *** seldridge has quit IRC | 22:25 | |
| *** seldridge has joined #yosys | 22:42 | |
| *** promach_ has joined #yosys | 22:46 | |
| *** cr1901_modern has quit IRC | 23:01 | |
| *** nonlinear has joined #yosys | 23:03 | |
| *** cr1901_modern has joined #yosys | 23:15 | |
| *** seldridge has quit IRC | 23:40 | |
| ZipCPU | Ok, so ... I can prove that Cluff Cummings' asynchronous FIFO will properly flag overflows and underflows. | 23:53 |
| ZipCPU | Just not quite certain how to get the "two transaction abstraction" through induction ... | 23:54 |
| *** dxld has quit IRC | 23:57 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!