Monday, 2025-07-28

*** tpb <[email protected]> has joined #yosys00:01
*** cr1901 <[email protected]> has quit IRC (Read error: Connection reset by peer)01:11
*** cr1901 <cr1901!~cr1901@2601:8c:400:10a5:fd0d:65f2:fb96:f8b5> has joined #yosys01:12
*** cr1901 <cr1901!~cr1901@2601:8c:400:10a5:fd0d:65f2:fb96:f8b5> has quit IRC (Ping timeout: 276 seconds)02:04
*** cr1901 <cr1901!~cr1901@2601:8c:400:10a5:fd0d:65f2:fb96:f8b5> has joined #yosys02:05
*** cr1901 <cr1901!~cr1901@2601:8c:400:10a5:fd0d:65f2:fb96:f8b5> has quit IRC (Read error: Connection reset by peer)04:00
*** cr1901 <cr1901!~cr1901@2601:8c:400:10a5:fd0d:65f2:fb96:f8b5> has joined #yosys04:02
*** _whitelogger <[email protected]> has quit IRC (Remote host closed the connection)04:33
*** _whitelogger <[email protected]> has joined #yosys04:39
*** FabM <[email protected]> has joined #yosys07:16
*** srk <srk!~sorki@user/srk> has quit IRC (Ping timeout: 268 seconds)09:13
*** srk <srk!~sorki@user/srk> has joined #yosys09:57
*** Guest29 <[email protected]> has joined #yosys12:26
Guest29Hi12:27
Guest29I am running Yosys for Synthesis12:27
Guest29I am using *.ys files12:27
Guest29So in *.ys file, how can we define variable ?12:27
Guest29Like read_verilog $XYZ/rtl_path/abc.v12:28
jixyou can't, you need to use TCL if you need that12:28
jix(or alternatively generate .ys files from some other form of script)12:29
Guest29Can you help me how by TCL ? I have tried with yosys -c <*.tcl> and I have declared read_verilog $XYZ/rtl_path/abc.v in TCL but not working12:29
jixin TCL you need to either prefix commands with the yosys command so it would be `yosys read_verilog $XYZ/rtl_path/abc.v` in the TCL script (not including the `)12:30
jixalternatively you can run the TCL command `yosys -import` at the start to make all non-conflicting yosys commands available as TCL commands directly 12:31
Guest29Ok. Thanks.  At the start  mean ? > I use this command - yosys -l yosys_run.log -s yosys_script.ys12:32
jixno you use `yosys -l yosys_run.log -c yosys_script.tcl` but then at the top of `yosys_script.tcl` you run `yosys -import` as the first TCL command12:33
jix(or alternatively in `yosys_script.tcl` you prefix every yosys command with `yosys` e.g. `yosys read_verilog ....`)12:33
Guest29Ok12:34
jixand if you want to access environment variables, not TCL variables, you need to use $::env(VAR_NAME)12:34
jixbut that's just standard TCL12:34
Guest29Suppose I have multiple commands like read_libert, read_verilog , synth, difflibmap etc ....12:39
Guest29abc -liberty,  opt_clean, write_verilog ....12:40
jixwhat's your question in that case?12:41
Guest29Suppose above commands are in *.ys, Now I have converted to TCL so for each command I have to write yosys ?12:41
jixYou have two choices, 1) you run `yosys -import` once at the top of the .tcl file or 2) you write `yosys` before every command12:42
jixbut some yosys commands have names that are already existing commands in TCL, so if you use `yosys -import` you have to watch out for those since they will have a different name12:43
jixthose are the yosys commands `proc` and `rename` according to the documentation https://yosyshq.readthedocs.io/projects/yosys/en/latest/cmd/tcl.html12:43
tpbTitle: tcl - execute a TCL script file - YosysHQ Yosys 0.55-dev documentationMenuExpandLight mode (at yosyshq.readthedocs.io)12:44
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys12:55
*** Guest29 <[email protected]> has quit IRC (Quit: Client closed)13:32
*** tux3 <tux3!~tux3@user/tux3> has quit IRC (Server closed connection)14:42
*** tux3 <tux3!~tux3@user/tux3> has joined #yosys14:43
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 276 seconds)15:07
*** tlwoerner <[email protected]> has quit IRC (Ping timeout: 245 seconds)15:24
*** Peetz0r <Peetz0r!~Peetz0r@revspace/participant/peetz0r> has quit IRC (Server closed connection)16:47
*** Peetz0r <Peetz0r!~Peetz0r@revspace/participant/peetz0r> has joined #yosys16:47
*** adamgreig_ <adamgreig_!~adam@user/agg> has quit IRC (Server closed connection)17:55
*** adamgreig_ <adamgreig_!~adam@user/agg> has joined #yosys17:55
*** Guest26 <[email protected]> has joined #yosys18:18
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 276 seconds)18:32
*** Guest26 <[email protected]> has quit IRC (Quit: Client closed)18:35
*** krispaul <[email protected]> has joined #yosys18:41
*** krispaul <[email protected]> has quit IRC (Ping timeout: 248 seconds)18:46
*** krispaul <[email protected]> has joined #yosys19:08
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)22:13
*** nonchip <[email protected]> has joined #yosys22:13
*** vancz <vancz!~vancz@user/vancz> has quit IRC ()22:48

Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!