<pepijndevos>
I thought I'd install iCECube2 to test some things, but boy is this thing annoying.
monochroma has left ##openfpga [##openfpga]
<pepijndevos>
I need to generate a license for my "Host NIC (physical address)", so I tried it for all 4 of the cards in `ip link` including the loopback device... and it says my host nic does not agree with the license.
<whitequark>
give me a hour and i can fix that
<pepijndevos>
whitequark, you can fix icecube??
<pepijndevos>
Or are you just saying it takes a lot of trial and error to get this thing to run
<whitequark>
former
<pepijndevos>
You work at lattice?? Or you're just going to patch out the check from the binary?
<whitequark>
latter
<pepijndevos>
Or maybe some preload hacks to make the MAC always return 00000000
<pepijndevos>
Or... just not touch this piece of shit with a 8 foot pole
<pepijndevos>
Or run it in a centos vm for crappy commercial software where I can change the MAC to my hearts content
<whitequark>
it's easiest to just patch
<pepijndevos>
> give me an hour -- seems like running in a VM is faster
freemint has joined ##openfpga
Asu has joined ##openfpga
_whitelogger has joined ##openfpga
<pepijndevos>
Oh seems like Linux can only use a floating lincense with a stupid license server
<pepijndevos>
nvm, I'm going to fix GHDL instead so I can use the open source tools
<pepijndevos>
whitequark, you mentioned using bugpoint to find a minimum testcase, but it seems to only detect crashes, can I somehow use it with any command that failed
<pepijndevos>
Actually... I don't think it'll work for what I'm trying to do.
<pepijndevos>
I'll just manually delete stuff from my code untill it does what I want.
<whitequark>
pepijndevos: you need to turn it into a crash
<whitequark>
using sat or assert etc
<pepijndevos>
whitequark, makes sense... but the main reason it won't work is that it's VHDL that does not parse, so I'm not sure how bugpoint works, but it can't delete stuff from non-existing RTLIL.
<whitequark>
oh yeah
<whitequark>
pepijndevos: you can use creduce though i think
<whitequark>
it works on languages other than c too
<pepijndevos>
Oh cool
<whitequark>
i think you need to tweak it a bit
<pepijndevos>
Meanwhile I already deleted the right lines to find the problem, but good to know.
Bike has joined ##openfpga
<whitequark>
pepijndevos: you still need icecube?
<pepijndevos>
whitequark, well, hopefully not. But VHDL support is still a bit iffy in GHDL/Yosys
rohitksingh has quit [Ping timeout: 276 seconds]
<pepijndevos>
My plan is to use my own VHDL CPU on an ice40 to give a presentation about formal verification with ghdl at orconf
<pepijndevos>
So I have about a week to get everything working...
<pepijndevos>
this is fine
* pepijndevos
sweats
<pepijndevos>
Actually I just remembered I can for now use verific while I report bugs in GHDL, and come back to them later.
<pepijndevos>
Meanwhile I rewrote x*40 to shift_left(rowaddr, 3) + shift_left(rowaddr, 5) using help from ZirconiumX and GCC because GHDL doesn't implement multiplication yet. Easy to add, but *after* orconf.
<ZirconiumX>
You're welcome
freemint has quit [Remote host closed the connection]
freeemint has joined ##openfpga
OmniMancer has joined ##openfpga
freeemint has quit [Ping timeout: 245 seconds]
azonenberg_work has quit [Ping timeout: 258 seconds]
freemint has joined ##openfpga
freemint has quit [Remote host closed the connection]
freemint has joined ##openfpga
freemint has quit [Ping timeout: 245 seconds]
Maylay has joined ##openfpga
OmniMancer has quit [Quit: Leaving.]
sgstair_ has joined ##openfpga
Patater_ has joined ##openfpga
Jybz has quit [Excess Flood]
Jybz has joined ##openfpga
vup2 has joined ##openfpga
iximeow_ has joined ##openfpga
felix__ has joined ##openfpga
Bike_ has joined ##openfpga
mwk_ has joined ##openfpga
mwk_ has quit [Client Quit]
Maylay_ has joined ##openfpga
mwk_ has joined ##openfpga
laintree has joined ##openfpga
SpaceCoaster_ has joined ##openfpga
Effilry has joined ##openfpga
Maylay has quit [*.net *.split]
Bike has quit [*.net *.split]
SpaceCoaster has quit [*.net *.split]
snappy has quit [*.net *.split]
felix_ has quit [*.net *.split]
bsilvereagle has quit [*.net *.split]
sgstair has quit [*.net *.split]
mwk has quit [*.net *.split]
lain has quit [*.net *.split]
FireFly has quit [*.net *.split]
vup has quit [*.net *.split]
tpw_rules has quit [*.net *.split]
iximeow has quit [*.net *.split]
Patater has quit [*.net *.split]
espes has quit [*.net *.split]
mwk_ is now known as mwk
tpw_rules has joined ##openfpga
espes has joined ##openfpga
bsilvereagle has joined ##openfpga
bsilvereagle has quit [Changing host]
bsilvereagle has joined ##openfpga
snappy has joined ##openfpga
<gruetzkopf>
oh wow
<gruetzkopf>
i happened upon stratix-1 based pcie cards
<gruetzkopf>
(so slow they're using external 8b10b serdes for 1G links!)
emeb_mac has joined ##openfpga
emeb_mac has quit [Ping timeout: 265 seconds]
Effilry is now known as FireFly
<q3k>
ew
sgstair_ is now known as sgstair
freemint has joined ##openfpga
AndrevS has joined ##openfpga
<cr1901_modern>
gruetzkopf: What are the part numbers for those serdes? I need them for... reasons...