Tuesday, 2022-06-28

« Monday, 2022-06-27 Index Wednesday, 2022-06-29 »
*** tpb <[email protected]> has joined #yosys00:00
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys00:00
*** _whitelogger <[email protected]> has joined #yosys00:00
*** nelgau <[email protected]> has joined #yosys00:00
*** cr1901 <cr1901!~cr1901@2601:8d:8600:911:7557:b10f:9f7c:8635> has joined #yosys00:02
*** smkz <smkz!~x@user/smkz> has joined #yosys00:05
*** pepijndevos[m] <pepijndevos[m]!~pepijndev@2001:470:69fc:105::b6a8> has quit IRC (Ping timeout: 260 seconds)00:15
*** peeps[zen] <peeps[zen]!~peepsalot@openscad/peepsalot> has joined #yosys00:33
*** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has quit IRC (Ping timeout: 256 seconds)00:34
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 268 seconds)00:38
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys00:39
*** pepijndevos[m] <pepijndevos[m]!~pepijndev@2001:470:69fc:105::b6a8> has joined #yosys00:45
*** Guest82 <[email protected]> has joined #yosys01:21
*** Guest82 <[email protected]> has quit IRC (Client Quit)01:22
*** Guest82 <[email protected]> has joined #yosys01:36
Guest82Where to find ABC's latest operating manual01:38
Guest82how to use abc901:38
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 268 seconds)02:18
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys02:31
loftyGuest82: uh, Yosys wraps a lot of ABC for you, but run yosys-abc directly and you can run help to get a list of commands and then run each command with -h to see what it does02:48
loftyAs for ABC9, it's probably best to leave that to the Yosys ABC9 pass02:48
Guest82there is no aig02:49
Guest82when use abc902:50
Guest82For example, command line "twoexact -g -I 5 -N 12 169AE443"03:24
Guest82                   synthesizes the smallest circuit composed of two-input gates03:24
Guest82                   for the only NPN class of 5-input functions that requires 12 gates;03:24
Guest82                   all other functions can be realized with 11 two-input gates or less03:24
Guest82this command03:25
Guest82What is the format of the truth table03:26
Guest82twoexact [-INT <num>] [-aogvh] <hex>03:26
Guest82                   exact synthesis of multi-input function using two-input gates03:26
Guest82        -I <num> : the number of input variables [default = 0]03:26
Guest82        -N <num> : the number of two-input nodes [default = 0]03:26
Guest82        -T <num> : the runtime limit in seconds [default = 0]03:26
Guest82        -a       : toggle using only AND-gates (without XOR-gates) [default = no]03:26
Guest82        -o       : toggle using additional optimizations [default = no]03:26
Guest82        -g       : toggle using Glucose 3.0 by Gilles Audemard and Laurent Simon [default = no]03:26
Guest82        -v       : toggle verbose printout [default = yes]03:26
Guest82        -h       : print the command usage03:26
Guest82        <hex>    : truth table in hex notation03:26
Guest82                   For example, command line "twoexact -g -I 5 -N 12 169AE443"03:26
Guest82                   synthesizes the smallest circuit composed of two-input gates03:26
Guest82                   for the only NPN class of 5-input functions that requires 12 gates;03:26
Guest82                   all other functions can be realized with 11 two-input gates or less03:26
lofty0x169AE443 is 32-bit, AKA 2**5-bit, so for each bit N, the result of the truth table when the 5 inputs are N is the value of bit N of the truth table03:28
loftyBut there's something more important you should note03:31
lofty"Note that this is a logic optimization pass within Yosys that is calling ABC03:32
loftyinternally. This is not going to "run ABC on your design". It will instead run03:32
loftyABC on logic snippets extracted from your design. You will not get any useful03:32
loftyoutput when passing an ABC script that writes a file. Instead write your full03:32
loftydesign as BLIF file with write_blif and then load that into ABC externally if03:32
loftyyou want to use ABC to convert your design into another format."03:32
loftyFrom `yosys -p "help abc"`03:33
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys03:44
Guest82I understand, thanks04:00
*** lamp <[email protected]> has quit IRC (Ping timeout: 246 seconds)04:02
*** lamp <[email protected]> has joined #yosys04:04
Guest82abc -g gates04:12
Guest822. Executing ABC pass (technology mapping using ABC).04:12
Guest822.1. Extracting gate netlist of module `\top' to `<abc-temp-dir>/input.blif'..04:12
Guest82Extracted 0 gates and 0 wires to a netlist network with 0 inputs and 0 outputs.04:12
Guest82Don't call ABC as there is nothing to map.04:12
Guest82Removing temp directory04:12
Guest82output always 004:12
*** Guest82 <[email protected]> has quit IRC (Ping timeout: 252 seconds)04:51
*** FabM <FabM!~FabM@2a03:d604:103:600:7688:d387:1a78:77a9> has joined #yosys06:31
*** Sarayan <Sarayan!~galibert@2a01:e0a:1d7:77e0:beae:c5ff:fee3:518f> has joined #yosys06:43
*** chuangzhu <chuangzhu!~chuangmel@2001:470:69fc:105::1:d139> has quit IRC (*.net *.split)09:52
*** programmerjake <programmerjake!~programme@2001:470:69fc:105::172f> has quit IRC (*.net *.split)09:52
*** programmerjake <programmerjake!~programme@2001:470:69fc:105::172f> has joined #yosys09:57
*** chuangzhu <chuangzhu!~chuangmel@2001:470:69fc:105::1:d139> has joined #yosys09:57
*** acharles <acharles!~acharlesm@2001:470:69fc:105::188d> has quit IRC (Ping timeout: 240 seconds)10:00
*** xiretza[m] <xiretza[m]!~xiretzaxi@2001:470:69fc:105::9b1> has quit IRC (Ping timeout: 252 seconds)10:00
*** pepijndevos[m] <pepijndevos[m]!~pepijndev@2001:470:69fc:105::b6a8> has quit IRC (Ping timeout: 240 seconds)10:00
*** programmerjake <programmerjake!~programme@2001:470:69fc:105::172f> has quit IRC (Ping timeout: 252 seconds)10:01
*** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has quit IRC (Ping timeout: 265 seconds)10:01
*** piegames[m] <piegames[m]!~piegamesm@2001:470:69fc:105::15df> has quit IRC (Ping timeout: 265 seconds)10:01
*** jevinskie[m] <jevinskie[m]!~jevinskie@2001:470:69fc:105::bb3> has quit IRC (Ping timeout: 265 seconds)10:01
*** rowang077[m] <rowang077[m]!~rowang077@2001:470:69fc:105::1:ca9f> has quit IRC (Ping timeout: 265 seconds)10:01
*** chuangzhu <chuangzhu!~chuangmel@2001:470:69fc:105::1:d139> has quit IRC (Ping timeout: 252 seconds)10:04
*** pepijndevos[m] <pepijndevos[m]!~pepijndev@2001:470:69fc:105::b6a8> has joined #yosys10:15
*** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has joined #yosys10:28
*** pepijndevos[m] <pepijndevos[m]!~pepijndev@2001:470:69fc:105::b6a8> has quit IRC (Quit: Bridge terminating on SIGTERM)10:29
*** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has quit IRC (Client Quit)10:29
*** xiretza[m] <xiretza[m]!~xiretzaxi@2001:470:69fc:105::9b1> has joined #yosys10:30
*** pepijndevos[m] <pepijndevos[m]!~pepijndev@2001:470:69fc:105::b6a8> has joined #yosys10:34
*** jevinskie[m] <jevinskie[m]!~jevinskie@2001:470:69fc:105::bb3> has joined #yosys10:34
*** acharles <acharles!~acharlesm@2001:470:69fc:105::188d> has joined #yosys10:34
*** chuangzhu <chuangzhu!~chuangmel@2001:470:69fc:105::1:d139> has joined #yosys10:34
*** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has joined #yosys10:34
*** programmerjake <programmerjake!~programme@2001:470:69fc:105::172f> has joined #yosys10:34
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 244 seconds)10:34
*** rowang077[m] <rowang077[m]!~rowang077@2001:470:69fc:105::1:ca9f> has joined #yosys10:34
*** piegames[m] <piegames[m]!~piegamesm@2001:470:69fc:105::15df> has joined #yosys10:34
*** Guest16 <Guest16!~Guest16@2409:8949:222:530a:9495:1e1e:faab:7544> has joined #yosys12:25
*** Guest16 <Guest16!~Guest16@2409:8949:222:530a:9495:1e1e:faab:7544> has quit IRC (Client Quit)12:26
*** Guest16 <Guest16!~Guest16@2409:8949:222:530a:9495:1e1e:faab:7544> has joined #yosys12:30
*** Guest16 <Guest16!~Guest16@2409:8949:222:530a:9495:1e1e:faab:7544> has quit IRC (Client Quit)12:30
lambdagatecat: hey, any idea how to debug "ERROR: timing analysis failed due to presence of combinatorial loops, incomplete specification of timing ports, etc." from nextpnr-xilinx? full log here, either it's not giving me any additional information about the problem, or I'm not understanding it: https://dpaste.com/C62HXJTKM.txt13:43
gatecatreally hard to say, sorry 13:47
gatecatdon't have the bandwidth for anything tech for at least a week13:47
gatecatit's either a bug in the timing data or a combinational loop, real or fake13:47
lambdaalright, I'll try to narrow it down as best as I can, thanks :)13:52
gatecatmight take a while but you could probably get something going with bugpoint14:12
gatecat(and the ability to call external commands by prefixing them with ! in a Yosys script to call nextpnr)14:12
lambdagood idea14:15
cr1901>don't have the bandwidth for anything tech <-- this is a mood16:12
cr1901503 Service Unavailable16:12
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has quit IRC (Ping timeout: 268 seconds)16:36
*** lexano <[email protected]> has quit IRC (Ping timeout: 264 seconds)18:57
*** lexano <[email protected]> has joined #yosys19:01
*** benreynwar <[email protected]> has quit IRC (*.net *.split)20:01
*** esden <[email protected]> has quit IRC (*.net *.split)20:01
*** vancz_ <vancz_!~vancz@user/vancz> has quit IRC (*.net *.split)20:01
*** corecode <[email protected]> has quit IRC (*.net *.split)20:01
*** lexano <[email protected]> has quit IRC (*.net *.split)20:01
*** koorogi1 <koorogi1!koorogi@user/koorogi> has quit IRC (*.net *.split)20:01
*** kbeckmann1 <[email protected]> has quit IRC (*.net *.split)20:01
*** anuejn <[email protected]> has quit IRC (*.net *.split)20:01
*** eigenform <[email protected]> has quit IRC (*.net *.split)20:01
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (*.net *.split)20:01
*** gordonDrogon <[email protected]> has quit IRC (*.net *.split)20:01
*** anticw <[email protected]> has quit IRC (*.net *.split)20:01
*** ikskuh <[email protected]> has quit IRC (*.net *.split)20:01
*** bpye <bpye!~bpye@user/bpye> has quit IRC (*.net *.split)20:01
*** tlwoerner <[email protected]> has quit IRC (*.net *.split)20:01
*** MoeIcenowy <[email protected]> has quit IRC (*.net *.split)20:01
*** Knarfian_____ <[email protected]> has quit IRC (*.net *.split)20:01
*** josuah <[email protected]> has quit IRC (*.net *.split)20:01
*** skipwich <skipwich!~skipwich@user/skipwich> has quit IRC (*.net *.split)20:01
*** chaoticryptidz <chaoticryptidz!~quassel@2a01:4f9:c010:8beb::1> has quit IRC (*.net *.split)20:01
*** nak <nak!~nak@yosys/nak> has quit IRC (*.net *.split)20:01
*** duck25 <[email protected]> has quit IRC (*.net *.split)20:01
*** smkz <smkz!~x@user/smkz> has quit IRC (*.net *.split)20:01
*** somlo__ <[email protected]> has quit IRC (*.net *.split)20:01
*** qball <qball!~qball@user/qball> has quit IRC (*.net *.split)20:01
*** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has quit IRC (*.net *.split)20:01
*** nonchip <[email protected]> has quit IRC (*.net *.split)20:01
*** acathla <[email protected]> has quit IRC (*.net *.split)20:01
*** gatecat <[email protected]> has quit IRC (*.net *.split)20:01
*** bluesceada <bluesceada!~dennis@user/bluesceada> has quit IRC (*.net *.split)20:01
*** mathu <mathu!~matt@user/mathu> has quit IRC (*.net *.split)20:01
*** dys <dys!~dys@user/dys> has quit IRC (*.net *.split)20:01
*** cr1901 <cr1901!~cr1901@2601:8d:8600:911:7557:b10f:9f7c:8635> has quit IRC (*.net *.split)20:01
*** _whitelogger <[email protected]> has quit IRC (*.net *.split)20:01
*** revcane <[email protected]> has quit IRC (*.net *.split)20:01
*** shoragan <shoragan!~shoragan@user/shoragan> has quit IRC (*.net *.split)20:01
*** lkcl <[email protected]> has quit IRC (*.net *.split)20:01
*** philtor <[email protected]> has quit IRC (*.net *.split)20:01
*** Kamilion <[email protected]> has quit IRC (*.net *.split)20:01
*** gruetzkopf <gruetzkopf!~quassel@wireguard/tunneler/gruetzkopf> has quit IRC (*.net *.split)20:01
*** oldtopman <[email protected]> has quit IRC (*.net *.split)20:01
*** Stary <Stary!~Stary@hacksoc/infrastructure> has quit IRC (*.net *.split)20:01
*** mithro <[email protected]> has quit IRC (*.net *.split)20:01
*** dnm <[email protected]> has quit IRC (*.net *.split)20:01
*** V <V!~v@ircpuzzles/2022/april/winner/V> has quit IRC (*.net *.split)20:01
*** lamp <[email protected]> has quit IRC (*.net *.split)20:01
*** peeps[zen] <peeps[zen]!~peepsalot@openscad/peepsalot> has quit IRC (*.net *.split)20:01
*** vup2 <[email protected]> has quit IRC (*.net *.split)20:01
*** tux3_ <[email protected]> has quit IRC (*.net *.split)20:01
*** tmiw_ <[email protected]> has quit IRC (*.net *.split)20:01
*** AdamHorden <[email protected]> has quit IRC (*.net *.split)20:01
*** lethalbit <[email protected]> has quit IRC (*.net *.split)20:01
*** tnt <tnt!~tnt@osmocom/tnt> has quit IRC (*.net *.split)20:01
*** FL4SHK <[email protected]> has quit IRC (*.net *.split)20:01
*** trabucayre <[email protected]> has quit IRC (*.net *.split)20:01
*** knielsen <[email protected]> has quit IRC (*.net *.split)20:01
*** unkraut <[email protected]> has quit IRC (*.net *.split)20:01
*** bq <[email protected]> has quit IRC (*.net *.split)20:01
*** lofty <[email protected]> has quit IRC (*.net *.split)20:01
*** mobius <[email protected]> has quit IRC (*.net *.split)20:01
*** grmbl <grmbl!~grmbl@user/grmr> has quit IRC (*.net *.split)20:01
*** cr1901_ <cr1901_!~cr1901@2601:8d:8600:911:3068:cb2c:1b9:b0b1> has joined #yosys20:15
*** lexano <[email protected]> has joined #yosys20:15
*** lamp <[email protected]> has joined #yosys20:15
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys20:15
*** peeps[zen] <peeps[zen]!~peepsalot@openscad/peepsalot> has joined #yosys20:15
*** smkz <smkz!~x@user/smkz> has joined #yosys20:15
*** _whitelogger <[email protected]> has joined #yosys20:15
*** shoragan <shoragan!~shoragan@user/shoragan> has joined #yosys20:15
*** revcane <[email protected]> has joined #yosys20:15
*** nonchip <[email protected]> has joined #yosys20:15
*** lkcl <[email protected]> has joined #yosys20:15
*** acathla <[email protected]> has joined #yosys20:15
*** gordonDrogon <[email protected]> has joined #yosys20:15
*** anticw <[email protected]> has joined #yosys20:15
*** ikskuh <[email protected]> has joined #yosys20:15
*** Knarfian_____ <[email protected]> has joined #yosys20:15
*** josuah <[email protected]> has joined #yosys20:15
*** skipwich <skipwich!~skipwich@user/skipwich> has joined #yosys20:15
*** bpye <bpye!~bpye@user/bpye> has joined #yosys20:15
*** philtor <[email protected]> has joined #yosys20:15
*** somlo__ <[email protected]> has joined #yosys20:15
*** qball <qball!~qball@user/qball> has joined #yosys20:15
*** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has joined #yosys20:15
*** tlwoerner <[email protected]> has joined #yosys20:15
*** chaoticryptidz <chaoticryptidz!~quassel@2a01:4f9:c010:8beb::1> has joined #yosys20:15
*** nak <nak!~nak@yosys/nak> has joined #yosys20:15
*** duck25 <[email protected]> has joined #yosys20:15
*** MoeIcenowy <[email protected]> has joined #yosys20:15
*** gatecat <[email protected]> has joined #yosys20:15
*** bluesceada <bluesceada!~dennis@user/bluesceada> has joined #yosys20:15
*** Kamilion <[email protected]> has joined #yosys20:15
*** benreynwar <[email protected]> has joined #yosys20:15
*** mathu <mathu!~matt@user/mathu> has joined #yosys20:15
*** koorogi1 <koorogi1!koorogi@user/koorogi> has joined #yosys20:15
*** esden <[email protected]> has joined #yosys20:15
*** vup2 <[email protected]> has joined #yosys20:15
*** tux3_ <[email protected]> has joined #yosys20:15
*** tmiw_ <[email protected]> has joined #yosys20:15
*** dys <dys!~dys@user/dys> has joined #yosys20:15
*** vancz_ <vancz_!~vancz@user/vancz> has joined #yosys20:15
*** kbeckmann1 <[email protected]> has joined #yosys20:15
*** corecode <[email protected]> has joined #yosys20:15
*** gruetzkopf <gruetzkopf!~quassel@wireguard/tunneler/gruetzkopf> has joined #yosys20:15
*** anuejn <[email protected]> has joined #yosys20:15
*** eigenform <[email protected]> has joined #yosys20:15
*** oldtopman <[email protected]> has joined #yosys20:15
*** Stary <Stary!~Stary@hacksoc/infrastructure> has joined #yosys20:15
*** mithro <[email protected]> has joined #yosys20:15
*** dnm <[email protected]> has joined #yosys20:15
*** AdamHorden <[email protected]> has joined #yosys20:15
*** lethalbit <[email protected]> has joined #yosys20:15
*** unkraut <[email protected]> has joined #yosys20:15
*** mobius <[email protected]> has joined #yosys20:15
*** bq <[email protected]> has joined #yosys20:15
*** V <V!~v@ircpuzzles/2022/april/winner/V> has joined #yosys20:15
*** grmbl <grmbl!~grmbl@user/grmr> has joined #yosys20:15
*** tnt <tnt!~tnt@osmocom/tnt> has joined #yosys20:15
*** FL4SHK <[email protected]> has joined #yosys20:15
*** trabucayre <[email protected]> has joined #yosys20:15
*** knielsen <[email protected]> has joined #yosys20:15
*** lofty <[email protected]> has joined #yosys20:15
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)22:02
*** nonchip <[email protected]> has joined #yosys22:03
*** somlo__ is now known as somlo22:45
*** lamp <[email protected]> has quit IRC (Ping timeout: 276 seconds)23:37
*** lamp <[email protected]> has joined #yosys23:48
« Monday, 2022-06-27 Index Wednesday, 2022-06-29 »

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