*** tpb <[email protected]> has joined #yosys | 00: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 #yosys | 01: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 #yosys | 02: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 #yosys | 04:02 | |
*** _whitelogger <[email protected]> has quit IRC (Remote host closed the connection) | 04:33 | |
*** _whitelogger <[email protected]> has joined #yosys | 04:39 | |
*** FabM <[email protected]> has joined #yosys | 07:16 | |
*** srk <srk!~sorki@user/srk> has quit IRC (Ping timeout: 268 seconds) | 09:13 | |
*** srk <srk!~sorki@user/srk> has joined #yosys | 09:57 | |
*** Guest29 <[email protected]> has joined #yosys | 12:26 | |
Guest29 | Hi | 12:27 |
---|---|---|
Guest29 | I am running Yosys for Synthesis | 12:27 |
Guest29 | I am using *.ys files | 12:27 |
Guest29 | So in *.ys file, how can we define variable ? | 12:27 |
Guest29 | Like read_verilog $XYZ/rtl_path/abc.v | 12:28 |
jix | you can't, you need to use TCL if you need that | 12:28 |
jix | (or alternatively generate .ys files from some other form of script) | 12:29 |
Guest29 | Can 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 working | 12:29 |
jix | in 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 |
jix | alternatively 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 |
Guest29 | Ok. Thanks. At the start mean ? > I use this command - yosys -l yosys_run.log -s yosys_script.ys | 12:32 |
jix | no 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 command | 12:33 |
jix | (or alternatively in `yosys_script.tcl` you prefix every yosys command with `yosys` e.g. `yosys read_verilog ....`) | 12:33 |
Guest29 | Ok | 12:34 |
jix | and if you want to access environment variables, not TCL variables, you need to use $::env(VAR_NAME) | 12:34 |
jix | but that's just standard TCL | 12:34 |
Guest29 | Suppose I have multiple commands like read_libert, read_verilog , synth, difflibmap etc .... | 12:39 |
Guest29 | abc -liberty, opt_clean, write_verilog .... | 12:40 |
jix | what's your question in that case? | 12:41 |
Guest29 | Suppose above commands are in *.ys, Now I have converted to TCL so for each command I have to write yosys ? | 12:41 |
jix | You have two choices, 1) you run `yosys -import` once at the top of the .tcl file or 2) you write `yosys` before every command | 12:42 |
jix | but 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 name | 12:43 |
jix | those are the yosys commands `proc` and `rename` according to the documentation https://yosyshq.readthedocs.io/projects/yosys/en/latest/cmd/tcl.html | 12:43 |
tpb | Title: 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 #yosys | 12: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 #yosys | 14: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 #yosys | 16:47 | |
*** adamgreig_ <adamgreig_!~adam@user/agg> has quit IRC (Server closed connection) | 17:55 | |
*** adamgreig_ <adamgreig_!~adam@user/agg> has joined #yosys | 17:55 | |
*** Guest26 <[email protected]> has joined #yosys | 18: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 #yosys | 18:41 | |
*** krispaul <[email protected]> has quit IRC (Ping timeout: 248 seconds) | 18:46 | |
*** krispaul <[email protected]> has joined #yosys | 19:08 | |
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:13 | |
*** nonchip <[email protected]> has joined #yosys | 22: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/!