<awygle>
AFAICT academic tools like VPR or T-VPACK are completely unusable on real FPGAs in their current forms
<awygle>
(this comment brought to you by awygle finally finding the T-VPACK paper)
<rqou>
the dissertation talk i attended today about hardware RE is a bit... unfortunate
<rqou>
it's currently about an order of magnitude slower than our ugly hack
<rqou>
but the approach is completely different
<rqou>
arguably their approach is "nicer"
<awygle>
rqou: so what's their approach?
<rqou>
essentially the difference is described as matching on the structure of the netlist vs matching on the behavior of the netlist
<rqou>
one of their approaches is to take the circuit that you want to match and do some initial probing of it with some k-hot vectors
<rqou>
this makes a graph of what outputs are activated by what inputs
<rqou>
and then it's possible to search for this as a subgraph of activations in the actual "haystack" netlist
<rqou>
btw azonenberg we need better benchmark circuits
<awygle>
Ah. I think I've seen papers talking about that approach or something similar
<awygle>
There is a collection of "standard" fpga benchmark circuits that is referenced in lots of papers but which I have not been able to actually find
<rqou>
btw does somebody have a broken htc vive setup?
<rqou>
can you pull the ice40 bitstreams?
uovo has quit [Read error: Connection reset by peer]
X-Scale has joined ##openfpga
GenTooMan has quit [Quit: Leaving]
pie_ has quit [Ping timeout: 240 seconds]
<balrog>
rqou: you're sure it can't be found in their firmware updates?
<balrog>
aiui the ice40 doesn't do much
<balrog>
just timing computations
<rqou>
i'm not sure
<rqou>
but it's still useful to test against our silicon RE tools
Bike has quit [Quit: Lost terminal]
cr1901_modern has quit [Ping timeout: 240 seconds]
cr1901_modern has joined ##openfpga
<whitequark>
cyrozap: hehehe
<cr1901_modern>
A bunch of old anime also have a number of shots which have monitors filled with source code... I wonder if there are any full programs that OCR could capture (or one could transcribe).
<rqou>
whitequark: offtopic: why do you keep using conda when it seems to have tons of dumb problems?
oeuf has joined ##openfpga
cr1901_modern has quit [Read error: Connection reset by peer]
<rqou>
damn, there's "crypto" libertarian types here too (IRL)
<rqou>
(I'm in a restaurant here in Berkeley)
<rqou>
it's not just "crazy people on the internet"
<jn__>
pie_: it's a pretty good intro to OS/360 and operating systems in general
<pie_>
awygle, you mean org.openfpga, is that on usenet
<awygle>
It's a Consortium
<awygle>
There's also an openfpga Inc in Ohio
<awygle>
Apparently the former became the latter in 2006
X-Scale has joined ##openfpga
pie__ has joined ##openfpga
pie_ has quit [Remote host closed the connection]
<awygle>
They seem not to have done a tremendous amount, but the domain was renewed in 2015 until 2018
gnufan has quit [Quit: Leaving.]
Bike has joined ##openfpga
<qu1j0t3>
awygle | "We are prepared to send you a 9-track tape in TAR format" // Funnily enough, I *have* ordered source code on 9 track tape... before the age of residential internet...