clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
emeb_mac has joined #yosys
<corecode> emeb: actually i just want to try my forth cpu on an fpga
<corecode> but icecube2 fails to place it
<corecode> so now i'm - under protest - porting icestorm to the fpga i'm using
voxadam has quit [Ping timeout: 245 seconds]
seldridge has quit [Ping timeout: 245 seconds]
voxadam has joined #yosys
gsi__ has joined #yosys
gsi_ has quit [Ping timeout: 257 seconds]
citypw has quit [Quit: Leaving]
<emeb> corecode: interesting problem
<emeb> which FPGA are you using?
emeb has quit [Quit: Leaving.]
rohitksingh has joined #yosys
Marex_ has joined #yosys
awordnot has quit [Ping timeout: 246 seconds]
Marex has quit [Ping timeout: 246 seconds]
svenn has quit [Ping timeout: 246 seconds]
Kooda has quit [Ping timeout: 246 seconds]
svenn has joined #yosys
awordnot has joined #yosys
FL4SHK has quit [Ping timeout: 246 seconds]
awordnot has quit [Ping timeout: 240 seconds]
awordnot has joined #yosys
FL4SHK has joined #yosys
jevinskie has joined #yosys
rohitksingh has quit [Ping timeout: 258 seconds]
rohitksingh has joined #yosys
leviathanch has joined #yosys
emeb_mac has quit [Ping timeout: 240 seconds]
rohitksingh has quit [Ping timeout: 246 seconds]
jevinskie has quit [Read error: Connection reset by peer]
jevinski_ has joined #yosys
rohitksingh has joined #yosys
_whitelogger has joined #yosys
rohitksingh has quit [Ping timeout: 246 seconds]
m_w has quit [Ping timeout: 246 seconds]
<corecode> the ice5lp1k
xdeller__ has quit [Read error: Connection reset by peer]
xdeller__ has joined #yosys
<sxpert> daveshah: getting some messages from yosys when compiling about "assert" being used while read_verilog is not called with -sv on ecp5/cells_sim.v:41[1-4]
maikmerten has joined #yosys
mrec has joined #yosys
<mrec> I wonder is Clifford here?
<daveshah> sxpert: hmm, perhaps an ifdef is needed
<daveshah> mrec: no, not usually
<mrec> some of his slides seem to be wrong ice40up5k doesn't have 128kbit bram, it's supposed to be 120kbit
<mrec> 30*4k
<daveshah> Indeed that is correct, I'll let him know
<daveshah> The lp8k/hx8k does have 128kbit
<mrec> yes
<mrec> well the specs are also wrong at the bottom of the pdf
* sxpert would like an ECP-5 100k with 8Mbit of bram ;)
<mrec> I'm happy with the ice40up for small items, the crappy linux spi implementation needs a lot cache
Marex_ is now known as Marex
<daveshah> SPRAM would probably make sense
<mrec> hmm is there anything better/faster/free available for simulating ice40 (mixed vhdl/verilog) designs than ActiveHDL?
<daveshah> Mixed HDL, probably not
<mrec> it takes quite a few seconds to simulate 10 milliseconds
<mrec> more like a minute+
<daveshah> Verilator will be much faster, but is Verilog only
<daveshah> it also might not support the vendor verilog models, because it doesn't implement the full event model, but it should work with the Yosys ones
<corecode> i have no idea whether i am 10% or 90% done with the ul port
<daveshah> If you want to create a PR or stick the repo somewhere I'm happy to take a look
<corecode> thanks
<daveshah> If you can get meaningful output from icebox_vlog for a few small designs from icecube (unpacked with iceunpack) then that's a good first step
* sxpert is happy, his decoder and alu can both be stalled at the same time by the bus controller
<sxpert> for example, when said bus controller will have to go fetch some dram data
<tpb> Title: Comparing cliffordwolf:master...corecode:u4k · cliffordwolf/icestorm · GitHub (at github.com)
<corecode> some stupid whitespace changes in there as well - auto whitespace cleanup on save
<daveshah> corecode: mostly looks good. Main comment right now is that the "_8k" RAM databases should be used, not the unprefixed (1k) ones
<daveshah> The icebox changes all make sense
<corecode> yea it's just that several of the icebox changes are not tested, just copied from the 5k
rohitksingh has joined #yosys
promach_ has joined #yosys
maikmerten has quit [Remote host closed the connection]
jevinski_ has quit [Ping timeout: 255 seconds]
jevinskie has joined #yosys
proteusguy has quit [Quit: Leaving]
lutsabound has joined #yosys
proteusguy has joined #yosys
AlexDaniel has joined #yosys
<promach_> ZipCPU sxpert : https://gist.github.com/promach/5f2d9a9494704ed93cf65687c982198c had passed bmc, induction and cover()
<tpb> Title: A signed multiply verilog code using row adder tree multiplier and modified baugh-wooley algorithm · GitHub (at gist.github.com)
<promach_> and this multiplier code had also no problem with A_WIDTH != B_WIDTH so far
rohitksingh has quit [Ping timeout: 246 seconds]
<promach_> strange, when A_WIDTH = B_WIDTH = 4 , induction passed, but induction failed when A_WIDTH = B_WIDTH = 6
maikmerten has joined #yosys
Cerpin has quit [Remote host closed the connection]
Cerpin has joined #yosys
<corecode> what is this sby file?
<daveshah> sby is the config file for SymbiYosys, a wrapper around Yosys and various SAT/SMT solvers for formal verification
<corecode> ah, thanks
promach_ has quit [Ping timeout: 246 seconds]
AlexDaniel has quit [Ping timeout: 245 seconds]
seldridge has joined #yosys
seldridge has quit [Ping timeout: 255 seconds]
ZipCPU|Laptop has joined #yosys
maikmerten has quit [Remote host closed the connection]
s_frit has quit [Remote host closed the connection]
s_frit has joined #yosys
Laksen has joined #yosys
leviathanch has quit [Remote host closed the connection]
emeb_mac has joined #yosys
lutsabound has quit [Quit: Connection closed for inactivity]
Laksen has quit [Quit: Leaving]
ZipCPU|Laptop has quit [Ping timeout: 245 seconds]
lutsabound has joined #yosys
ZipCPU|Laptop has joined #yosys
kmehall has quit [Remote host closed the connection]
ZipCPU|Laptop has quit [Ping timeout: 255 seconds]
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
seldridge has joined #yosys