ChanServ changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
mwk has quit [Ping timeout: 240 seconds]
so-offishul has joined #yosys
so-offish has quit [Ping timeout: 240 seconds]
so-offish1 has joined #yosys
mwk has joined #yosys
so-offishul has quit [Ping timeout: 268 seconds]
so-offish has joined #yosys
so-offish1 has quit [Ping timeout: 246 seconds]
cr1901_ has joined #yosys
cr1901 has quit [Read error: Connection reset by peer]
cr1901_ is now known as cr1901
mwk has quit [Ping timeout: 240 seconds]
mwk has joined #yosys
arkanoid has joined #yosys
<arkanoid> hello! I'm a newbie handling yosys for the first time. By reading the manual/docs I'm not fully understanding the difference between `synth` script and `prep` script. Would you please try to explain it to me in simple terms?
Guest66 has joined #yosys
Guest66 has quit [Client Quit]
Guest45 has joined #yosys
<Guest45> Running ABC command: "<yosys-exe-dir>/yosys-abc" -s -f <abc-temp-dir>/abc.script 2>&1
<Guest45> ABC: ABC command line: "source <abc-temp-dir>/abc.script".
<Guest45> ABC:
<Guest45> ABC: + read_blif <abc-temp-dir>/input.blif
<Guest45> ABC: + read_lib -w /home/dgkim/library/asap7.lib
<Guest45> ABC: Parsing finished successfully. Parsing time = 0.42 sec
<Guest45> ABC: Library "asap7sc7p5t_AO_RVT_FF_nldm_211120" from "/home/dgkim/library/asap7.lib" has 42 cells (0 skipped: 0 seq; 0 tri-state; 0 no func; 0 dont_use). Time = 0.50 sec
<Guest45> ABC: Memory = 82.29 MB. Time = 0.50 sec
<Guest45> ABC: Warnings: genlib library reader cannot detect the buffer gate.
<Guest45> ABC: Some parts of the supergate-based technology mapper may not work correctly.
<Guest45> ABC: Warnings: genlib library reader cannot detect the invertor gate.
<Guest45> ABC: Some parts of the supergate-based technology mapper may not work correctly.
<Guest45> ABC: Warnings: genlib library reader cannot detect the AND2, NAND2, OR2, and NOR2 gate.
<Guest45> ABC: Some parts of the supergate-based technology mapper may not work correctly.
<Guest45> ABC: + strash
<Guest45> ABC: + &get -n
<Guest45> ABC: + &fraig -x
<Guest45> ABC: + &put
<Guest45> how to solve it?
<Guest45> I have BUF, AND2,NAND2,etc.. in .lib
<jevinskie[m]> <so-offish> "jevinskie: What are you using..." <- I was probably going to use IDA scripted from the command line and just have it decompile the whole binary to C and then run some regexes over the C. Binja would be good too but I don’t have a headless license. I don’t even want to look into what it takes to get ghidra to spit out a C file from the command line.
hrberg has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
hrberg has joined #yosys
Guest45 has quit [Quit: Client closed]
krispaul has joined #yosys
kristianpaul has quit [Ping timeout: 256 seconds]
Guest75 has joined #yosys
<lofty> arkanoid: `prep` is mostly for formal verification: simple, relatively straightforward transformations that don't majorly change the design
<lofty> `synth` is for ASIC/FPGA synthesis; here things like technology mapping and such occur.
Guest75 has quit [Quit: Client closed]
|{ame has quit [Quit: Client closed]
kraiskil has joined #yosys
<arkanoid> lofty: thanks!
kraiskil has quit [Ping timeout: 240 seconds]
somlo has quit [Ping timeout: 240 seconds]
somlo has joined #yosys
so-offishul has joined #yosys
so-offish has quit [Ping timeout: 240 seconds]
so-offish1 has joined #yosys
so-offishul has quit [Ping timeout: 268 seconds]
tlwoerner has quit [Quit: Leaving]
tlwoerner has joined #yosys
kittennbfive has joined #yosys
<kittennbfive> Hello! I have noticed that there is a "-full" flag for the "opt" pass, but it isn't used for synth_ecp5. I hacked https://github.com/YosysHQ/yosys/blob/master/techlibs/ecp5/synth_ecp5.cc#L286 replacing "opt" by "opt -full" and it seems to increase the maximum speed for my design by about 5-15MHz. Is this just luck or ... ? Is there a reason there isn't a -fullopt flag or similar for synth_ecp5?
cr1901 has quit [Read error: Connection reset by peer]
nonchip has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
nonchip has joined #yosys
cr1901 has joined #yosys
<lofty> kittennbfive: I mean, `opt` gets called a lot of times. normally it's just used for cleanup though.
<kittennbfive> The strange thing is that if i add -full to the other opt-passes the maximum frequency goes down... But this is not a scientific experiment, just some random fiddling around...