<unixb0y>
I'll have a look into what exists already, then.
<unixb0y>
Well which are the files that I should look into? The ones that include "code"?
<unixb0y>
It should be in SymbiFlow/prjxray/..... ?
<kc8apf>
unixb0y: fuzzers are things that generate a design, feed it to Vivado, and look at the resulting bitstream to make some conclusion
<kc8apf>
those are what generate the contents of database
<kc8apf>
SymbiFlow/symbiflow-arch-defs is where we describe the logical components in a device to VPR
<kc8apf>
VPR is place and route software
<unixb0y>
Yup I figured that out.
<unixb0y>
kc8apf: Thank you!
<kc8apf>
SymbiFlow/prjxray/tools/ has various programs to work with bitstreams, mainly to assist building fuzzers
<unixb0y>
Okay, I see!
<unixb0y>
Is there any systematic way of creating those fuzzers?
<kc8apf>
minitests/roi_harness shows how to use a bunch of tools together to patch an existing bitstream with hand-crafted FASM (FPGA assembler)
<kc8apf>
general idea behind fuzzers is to pick some element in the device (say a block RAM or IOB) to target
<kc8apf>
If you picked the IOB (no one is working on that yet), you'd write a design that is implemented in a specific IOB.
<kc8apf>
Then you'd create a program that creates variations of the design (called specimens) that vary the design parameters
<kc8apf>
for example, changing the configuration of a single pin
<kc8apf>
by looking at all the specimens, you can correlate which bits in which frame correspond to a particular choice in the design
<kc8apf>
looking at the implemented design in vivado with "Show Routing Resources" turned on is quite helpful in understanding what all choices exist
<unixb0y>
That's very cool! The program is just a script that does some automated text generation, isn't it?
<kc8apf>
a lot of it is TCL that runs inside Vivado to change the design parameters
<unixb0y>
oh that's how you guys do it? that's fine (y)
<kc8apf>
it's a bit faster to load in one verilog model and use TCL to replicate it with varying inputs
<unixb0y>
okay! :)
<unixb0y>
thanks man, I'll save this info ;)
<kc8apf>
if you write it up as a .rst, you can add your understanding of the process to our docs in prjxray/docs
<unixb0y>
Good idea. Add to the index.rst or make a new file?
<kc8apf>
we use Sphinx and rtfd.org. Add a new section following how "architecture" is implemented.
<kc8apf>
I was planning to add a section titled "Overview" or "Database Development Process" or something
<Zorix>
kc8apf, richard, from california? heh
<unixb0y>
kc8apf: Okay, I'll be happy to do it, so I will also get into the process myself.
<kc8apf>
Zorix: indeed. originally from Ohio hence the 8
<Zorix>
ahh
<Zorix>
im kn4..... the rest is private on irc heh
<kc8apf>
heh
<Zorix>
technician class as well
<unixb0y>
what's that abbreviation stuff going on here? ;)
<Zorix>
amateur radio
<Zorix>
i can spot a callsign heh
<Zorix>
2x3's are easy
<kc8apf>
but can you write a regex that covers them all
<Zorix>
probably not heh
digshadow has quit [Ping timeout: 268 seconds]
<sorear>
fun fact: mailing addresses are public record
<Zorix>
of course
<Zorix>
as a rule i keep people from knowing too much about me on the internet.. i had someone a few years ago find out who i was and where i worked and sent an email to my boss's boss's boss's boss to try to get me fired
<unixb0y>
Zorix: you're right. I go with a lot of different nicknames ususally
<Zorix>
good idea
<unixb0y>
But my GitHub username which I also use here (makes sense imho) is "linked" to my name as it's all professional stuff here
<unixb0y>
and when I do professional stuff I usually don't have enemies.... ;)
<Zorix>
my github has my real name but only a few people know who i am on irc
<unixb0y>
Well in IRC you can always change your name right ;)
<unixb0y>
You could have different nicks for different channels even
<Zorix>
it was some game i was playing, someone got butthurt and tried to get me in trouble.. it was an awkward meeting but the issue was dismissed though.. still id rather not have that happen again
<Zorix>
true
<unixb0y>
wel.. I don't play games and if I did - again - different nickname :P not professional stuff -> random nick
<Zorix>
i actually was concerned i was going to get swatted
<Zorix>
hehe
<unixb0y>
Sure you never know, ppl R evil
<Zorix>
yep
<unixb0y>
Just fyi as a recommendation, if you need random nicks that can be actually spelled (helps imho), look around in your room and pick a random thing like "book" or so and try it ;)
<Zorix>
thats how i actually got this name hehe
<Zorix>
was an old cheap radio set that had this name on it
<Zorix>
thought it sounded neat
<unixb0y>
Stuff that is too obvious is probably already taken but a weird thing might actually still be available
<unixb0y>
yeah, exactly what I meant!! :D
<unixb0y>
Or some no-name device that goes on eBay with like 10 different names, pick that
<Zorix>
yep hehe
<unixb0y>
we agree, that's cool ;)
<unixb0y>
see no enemies when it's professional stuff ;)
<Zorix>
of course, i try to be agreeable personally and professionally
<Zorix>
and its always best to remove the negative aspects from your life if possible
bibor has quit [Ping timeout: 252 seconds]
<unixb0y>
yup!
<Zorix>
anyways i didnt mean to hijack the conversation for this long, i just couldnt pass up the chance to notice a ham heh
<unixb0y>
yeah, nice getting to know though!
<Zorix>
yep hehe
digshadow has joined ##openfpga
Dolu has quit [Ping timeout: 255 seconds]
<sorear>
(notices a tab left over from the previous conversation, so I guess it's on-topic) can anyone explain this https://licensing.fcc.gov/favicon.ico
<Zorix>
sun microsystem
<jn>
yep, Server: Sun-Java-System-Web-Server/7.0
bibor has joined ##openfpga
<sorear>
January 22, 2007
<sorear>
wikipedia edit history remembers what oracle has forgotten
unixb0y_ has joined ##openfpga
uovo has quit [Read error: Connection reset by peer]
unixb0y has quit [Ping timeout: 260 seconds]
<unixb0y_>
hi
<unixb0y_>
:D
<unixb0y_>
just testing if the connection is still up, nvm
unixb0y_ has quit [Remote host closed the connection]
unixb0y has joined ##openfpga
GenTooMan has quit [Quit: Leaving]
unixb0y has quit [Ping timeout: 240 seconds]
pie___ has quit [Ping timeout: 248 seconds]
digshadow has quit [Ping timeout: 265 seconds]
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 252 seconds]
<tinyfpga>
unixb0y: are you using an irc relay?
rohitksingh_work has joined ##openfpga
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 248 seconds]
Bike has quit [Quit: Lost terminal]
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 256 seconds]
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 255 seconds]
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 248 seconds]
<rqou>
wtf, another silent failure with jupyter+latex
<rqou>
does this feature _ever_ work?
digshadow has joined ##openfpga
<rqou>
whitequark: do you use jupyter notebook?
<rqou>
any idea why i never have working latex export?
<rqou>
my formulas render properly in the notebook viewer itself of course
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 256 seconds]
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 256 seconds]
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 252 seconds]
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 260 seconds]
unixb0y has joined ##openfpga
pie___ has joined ##openfpga
unixb0y has quit [Ping timeout: 248 seconds]
<eduardo_>
kc8apf: can you please copy/paste your description you just gave about prjxray into a document and put it on the prjxray website?
<eduardo_>
kc8apf: ah thanx. forget it. It seems as unixb0y offered to do ti anyway.
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 260 seconds]
soylentyellow has quit [Ping timeout: 256 seconds]
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 255 seconds]
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 240 seconds]
Dolu has joined ##openfpga
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 256 seconds]
eduardo__ has joined ##openfpga
eduardo_ has quit [Ping timeout: 256 seconds]
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 240 seconds]
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 255 seconds]
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 248 seconds]
m_t has joined ##openfpga
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 240 seconds]
Dolu has quit [Ping timeout: 240 seconds]
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 256 seconds]
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 276 seconds]
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 248 seconds]
unixb0y has joined ##openfpga
unixb0y has quit [Ping timeout: 268 seconds]
unixb0y has joined ##openfpga
clifford_ has joined ##openfpga
Ultrasauce has joined ##openfpga
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
Bike has joined ##openfpga
pie___ has quit [Ping timeout: 255 seconds]
rohitksingh_work has quit [Read error: Connection reset by peer]
cr1901_modern has quit [Read error: Connection reset by peer]
Bike has quit [Quit: Lost terminal]
rohitksingh1 has joined ##openfpga
futarisIRCcloud has joined ##openfpga
unixb0y_ has joined ##openfpga
<unixb0y_>
Hi
unixb0y_ has quit [Client Quit]
genii has joined ##openfpga
unixb0y_ has joined ##openfpga
unixb0y_ has quit [Ping timeout: 264 seconds]
unixb0y_ has joined ##openfpga
unixb0y_ has quit [Client Quit]
unixb0y has quit []
unixb0y has joined ##openfpga
unixb0y_ has joined ##openfpga
<unixb0y_>
Hi
<unixb0y>
Hi
unixb0y_ has quit [Remote host closed the connection]
cr1901_modern has joined ##openfpga
rohitksingh1 has quit [Read error: Connection reset by peer]
rohitksingh has joined ##openfpga
pie___ has joined ##openfpga
pie__ has joined ##openfpga
pie___ has quit [Ping timeout: 240 seconds]
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
pie___ has joined ##openfpga
pie__ has quit [Ping timeout: 240 seconds]
<whitequark>
rqou: nope
mumptai has joined ##openfpga
pie___ has quit [Ping timeout: 248 seconds]
m_t has quit [Quit: Leaving]
rohitksingh has quit [Quit: Leaving.]
rohitksingh has joined ##openfpga
rohitksingh has quit [Quit: Leaving.]
rohitksingh has joined ##openfpga
rohitksingh has quit [Read error: Connection reset by peer]
rohitksingh1 has joined ##openfpga
rohitksingh1 has quit [Ping timeout: 260 seconds]
rohitksingh1 has joined ##openfpga
ondrej2 has quit [Ping timeout: 265 seconds]
ondrej2 has joined ##openfpga
rohitksingh1 has quit [Read error: Connection reset by peer]
<unixb0y>
I'm sorry, left IRC open and let my device go to sleep, looks like it reconnected every once in a while ;)
mumptai has quit [Quit: Verlassend]
<sorear>
does it automatically send "Hi" every time it joins?
<unixb0y>
No, I only did that to test the connection. Had some weird issues where it showed "connected" where it wasn't.
<unixb0y>
kc8apf: / clifford_ / ... I might add an overview section to the prjxray/docs tomorrow or so. Where the general procedure is going to be described. Is there anything special to watch out for when creating those .rst files?
<unixb0y>
And any simple way of checking if the formatting is right other than using that Sphinx software?
<kc8apf>
.rst is reStructuredText. I just install the python dependencies (requirements.txt) in a virtualenv and run 'make livehtml' in docs/
<kc8apf>
that runs sphinx automatically on every .rst save and reloads the browser
<unixb0y>
Hmmmm not the most elegant solution imho. For example, for markdown there are great Sublime and Atom plugins.
<kc8apf>
I know VS code has a plugin
<awygle>
there are atom and sublime plugins for .rst, although i can't vouch for their quality