00:00
tpb has quit [Remote host closed the connection]
00:00
tpb has joined #yosys
00:17
schaeg has quit [Ping timeout: 248 seconds]
00:49
ec has joined #yosys
00:55
ec has quit [Ping timeout: 240 seconds]
00:58
ec has joined #yosys
01:04
ec has quit [Ping timeout: 240 seconds]
01:15
ec has joined #yosys
01:21
ec has quit [Ping timeout: 240 seconds]
01:23
ec has joined #yosys
01:42
SpaceCoaster has quit [Quit: Bye]
01:43
SpaceCoaster has joined #yosys
01:55
ec has quit [Ping timeout: 240 seconds]
01:59
ec has joined #yosys
02:05
ec has quit [Ping timeout: 240 seconds]
02:08
ec has joined #yosys
02:14
ec has quit [Ping timeout: 240 seconds]
02:17
ec has joined #yosys
02:28
ec has quit [Ping timeout: 240 seconds]
02:30
ec has joined #yosys
02:45
ec has quit [Ping timeout: 240 seconds]
02:49
ec has joined #yosys
02:54
ec has quit [Remote host closed the connection]
02:55
ec has joined #yosys
03:01
ec has quit [Ping timeout: 240 seconds]
03:05
ec has joined #yosys
03:16
ec has quit [Ping timeout: 240 seconds]
03:20
ec has joined #yosys
03:36
ec has quit [Ping timeout: 240 seconds]
03:38
ec has joined #yosys
03:58
ec has quit [Ping timeout: 240 seconds]
04:00
ec has joined #yosys
04:04
ec has quit [Ping timeout: 240 seconds]
04:07
ec has joined #yosys
04:11
|{ame has joined #yosys
04:30
ec has quit [Ping timeout: 240 seconds]
04:31
ec has joined #yosys
04:36
ec has quit [Ping timeout: 240 seconds]
04:37
ec has joined #yosys
04:46
so-offish has quit [Ping timeout: 256 seconds]
04:51
ec has quit [Ping timeout: 240 seconds]
04:52
ec has joined #yosys
05:02
ec has quit [Ping timeout: 240 seconds]
05:04
ec has joined #yosys
05:22
ec has quit [Ping timeout: 240 seconds]
05:26
ec has joined #yosys
05:38
ec has quit [Ping timeout: 240 seconds]
05:41
ec has joined #yosys
05:49
ec has quit [Ping timeout: 240 seconds]
05:50
ec has joined #yosys
05:56
ec has quit [Ping timeout: 240 seconds]
06:03
ec has joined #yosys
06:04
FabM has joined #yosys
06:04
FabM has joined #yosys
06:04
FabM has quit [Changing host]
06:08
ec has quit [Ping timeout: 240 seconds]
06:09
ec has joined #yosys
06:17
ec has quit [Ping timeout: 240 seconds]
06:17
|{ame has quit [Quit: Client closed]
06:22
ec_ has joined #yosys
06:27
ec_ has quit [Ping timeout: 240 seconds]
06:30
ec_ has joined #yosys
06:38
ec_ has quit [Ping timeout: 240 seconds]
06:40
ec_ has joined #yosys
06:51
ec_ has quit [Ping timeout: 240 seconds]
06:55
ec_ has joined #yosys
07:01
ec_ has quit [Ping timeout: 240 seconds]
07:02
krispaul has joined #yosys
07:04
kristianpaul has quit [Ping timeout: 240 seconds]
07:05
ec_ has joined #yosys
07:12
ec_ has quit [Ping timeout: 240 seconds]
07:13
ec_ has joined #yosys
07:22
schaeg has joined #yosys
07:26
ec_ has quit [Ping timeout: 240 seconds]
07:29
ec_ has joined #yosys
07:34
ec_ has quit [Ping timeout: 240 seconds]
07:35
ec_ has joined #yosys
07:41
ec_ has quit [Ping timeout: 240 seconds]
07:45
ec_ has joined #yosys
07:56
ec_ has quit [Ping timeout: 240 seconds]
07:58
keesj has joined #yosys
08:02
<
keesj >
I am trying to do timing accurate simulation using iverilog. It it possible using yosys to read liberty file and generate verilog containing the delay information?
08:02
ec_ has joined #yosys
08:03
<
keesj >
I am targetting sky130
08:14
ec_ has quit [Ping timeout: 240 seconds]
08:17
ec_ has joined #yosys
08:25
<
gatecat >
keesj: no, there's no ability inside yosys to deal with liberty timing (this is passed straight through to abc for synthesis)
08:28
ec_ has quit [Ping timeout: 240 seconds]
08:31
ec_ has joined #yosys
08:38
ec_ has quit [Ping timeout: 240 seconds]
08:39
ec_ has joined #yosys
08:44
ec_ has quit [Ping timeout: 240 seconds]
08:50
<
keesj >
I have seen some behavioural verilog file that do contain timing. any idea on where to get some / how to convert somehow?
08:51
ec_ has joined #yosys
08:55
<
keesj >
So when yosys output the max frequency the device can run. What is this based on?
08:58
ec_ has quit [Ping timeout: 240 seconds]
08:59
ec_ has joined #yosys
09:00
kivikakk has quit [Remote host closed the connection]
09:10
ec_ has quit [Ping timeout: 240 seconds]
09:13
ec_ has joined #yosys
09:18
ec_ has quit [Ping timeout: 240 seconds]
09:43
<
gatecat >
do you mean yosys or nextpnr?
09:44
<
gatecat >
although yosys does have a sta command that can do this, it's not very widely used. it does indeed use the verilog timing information but that's very much fpga-oriented and was manually created, it can't load liberty timing
09:44
<
gatecat >
for an asic flow you might get some delay information from the liberty printed by abc, but yosys isn't involved there other than telling abc where the liberty file is...
09:46
<
lofty >
You'd want something like opensta for ASIC timing
09:46
ec_ has joined #yosys
09:57
ec_ has quit [Ping timeout: 240 seconds]
10:01
ec_ has joined #yosys
10:05
ymherklotz has quit [Remote host closed the connection]
10:05
muuo has quit [Remote host closed the connection]
10:05
jleightcap has quit [Remote host closed the connection]
10:05
Zaba has quit [Remote host closed the connection]
10:06
schaeg has quit [Quit: Konversation terminated!]
10:06
schaeg has joined #yosys
10:07
jleightcap has joined #yosys
10:07
ymherklotz has joined #yosys
10:07
ec_ has quit [Ping timeout: 240 seconds]
10:07
muuo has joined #yosys
10:08
Zaba has joined #yosys
10:09
ec_ has joined #yosys
10:32
ec_ has quit [Ping timeout: 240 seconds]
10:42
schaeg has quit [Ping timeout: 248 seconds]
10:49
ec_ has joined #yosys
11:00
ec_ has quit [Ping timeout: 240 seconds]
11:02
ec_ has joined #yosys
11:11
ec_ has quit [Ping timeout: 240 seconds]
11:15
ec_ has joined #yosys
11:20
mewt has quit [Read error: Connection reset by peer]
11:33
ec_ has quit [Ping timeout: 240 seconds]
11:35
ec_ has joined #yosys
11:48
ec_ has quit [Ping timeout: 240 seconds]
11:51
ec_ has joined #yosys
12:07
ec_ has quit [Ping timeout: 240 seconds]
12:09
ec_ has joined #yosys
12:17
ec_ has quit [Ping timeout: 240 seconds]
12:21
ec_ has joined #yosys
12:36
ec_ has quit [Ping timeout: 240 seconds]
12:40
ec_ has joined #yosys
12:51
ec_ has quit [Ping timeout: 240 seconds]
12:53
ec_ has joined #yosys
12:59
ec_ has quit [Ping timeout: 240 seconds]
13:02
ec_ has joined #yosys
13:08
ec_ has quit [Ping timeout: 240 seconds]
13:09
ec_ has joined #yosys
13:17
ec_ has quit [Ping timeout: 240 seconds]
13:19
ec_ has joined #yosys
13:34
ec_ has quit [Ping timeout: 240 seconds]
13:35
ec_ has joined #yosys
13:39
ec_ has quit [Ping timeout: 240 seconds]
13:40
ec_ has joined #yosys
13:58
ec_ has quit [Ping timeout: 240 seconds]
14:05
ec_ has joined #yosys
14:16
mewt has joined #yosys
14:16
ec_ has quit [Ping timeout: 240 seconds]
14:20
ec_ has joined #yosys
14:38
ec_ has quit [Ping timeout: 240 seconds]
14:39
ec_ has joined #yosys
14:44
ec_ has quit [Ping timeout: 240 seconds]
14:47
ec_ has joined #yosys
15:03
ec_ has quit [Ping timeout: 240 seconds]
15:05
ec_ has joined #yosys
15:16
so-offish has joined #yosys
15:17
ec_ has quit [Ping timeout: 240 seconds]
15:21
ec_ has joined #yosys
15:22
so-offish has quit [Ping timeout: 240 seconds]
16:00
FabM has quit [Ping timeout: 246 seconds]
16:05
ec_ has quit [Ping timeout: 240 seconds]
16:06
ec_ has joined #yosys
16:10
ec_ has quit [Ping timeout: 240 seconds]
16:13
ec_ has joined #yosys
16:19
ec_ has quit [Ping timeout: 240 seconds]
16:21
ec_ has joined #yosys
16:26
ec_ has quit [Ping timeout: 240 seconds]
16:28
ec_ has joined #yosys
16:41
ec_ has quit [Ping timeout: 240 seconds]
16:44
ec_ has joined #yosys
16:50
ec_ has quit [Ping timeout: 240 seconds]
16:53
ec_ has joined #yosys
17:01
ec_ has quit [Ping timeout: 240 seconds]
17:04
ec_ has joined #yosys
17:31
ec_ has quit [Ping timeout: 240 seconds]
17:37
ec_ has joined #yosys
17:48
ec_ has quit [Ping timeout: 240 seconds]
17:50
ec_ has joined #yosys
18:13
ec_ has quit [Ping timeout: 240 seconds]
18:17
ec_ has joined #yosys
18:32
ec_ has quit [Ping timeout: 240 seconds]
18:35
ec_ has joined #yosys
18:46
ec_ has quit [Ping timeout: 240 seconds]
18:48
ec_ has joined #yosys
19:12
ec_ has quit [Ping timeout: 240 seconds]
19:17
ec_ has joined #yosys
19:25
ec_ has quit [Ping timeout: 240 seconds]
19:36
ec_ has joined #yosys
19:42
ec_ has quit [Ping timeout: 240 seconds]
19:43
ec_ has joined #yosys
20:03
ec_ has quit [Ping timeout: 240 seconds]
20:07
ec_ has joined #yosys
20:18
ec_ has quit [Ping timeout: 240 seconds]
20:30
ec_ has joined #yosys
20:34
ec_ has quit [Ping timeout: 240 seconds]
20:37
ec_ has joined #yosys
20:48
ec_ has quit [Ping timeout: 240 seconds]
20:49
ec_ has joined #yosys
21:12
ec_ has quit [Ping timeout: 240 seconds]
21:16
ec_ has joined #yosys
21:22
ec_ has quit [Ping timeout: 240 seconds]
21:26
ec_ has joined #yosys
21:32
ec_ has quit [Ping timeout: 240 seconds]
21:35
ec_ has joined #yosys
21:46
ec_ has quit [Ping timeout: 240 seconds]
21:50
ec_ has joined #yosys
22:08
ec_ has quit [Ping timeout: 240 seconds]
22:09
ec_ has joined #yosys
22:13
nonchip has joined #yosys
22:20
ec_ has quit [Ping timeout: 240 seconds]
22:23
ec_ has joined #yosys
22:28
ec_ has quit [Ping timeout: 240 seconds]
22:29
ec_ has joined #yosys
22:36
ec_ has quit [Ping timeout: 240 seconds]
22:40
ec_ has joined #yosys
22:48
ec_ has quit [Ping timeout: 240 seconds]
22:51
ec_ has joined #yosys
23:08
ec_ has quit [Ping timeout: 240 seconds]
23:10
ec_ has joined #yosys
23:15
ec_ has quit [Ping timeout: 240 seconds]
23:18
ec_ has joined #yosys
23:30
Lord_Nightmare has joined #yosys
23:32
ec_ has quit [Ping timeout: 240 seconds]
23:39
ec_ has joined #yosys
23:52
ec_ has quit [Ping timeout: 240 seconds]
23:54
ec_ has joined #yosys
23:54
tokamak- has quit [Ping timeout: 240 seconds]
23:58
ec_ has quit [Ping timeout: 240 seconds]
23:59
ec_ has joined #yosys