Miyu has quit [Read error: Connection reset by peer]
Maya-sama is now known as Miyu
zng has joined ##openfpga
<whitequark>
ZipCPU: HA
<whitequark>
I found an *excellent* bug with formal verification just now.
<whitequark>
incredibly tricky, and only active in one obscure corner case.
<zkms>
whitequark: what was the bug?
<whitequark>
zkms: replacing the last pushed entry in a non-power-of-2 depth FIFO in the case where producer pointer just wrapped out would overwrite the wrong entry
<whitequark>
it's great because both NPoT depth FIFOs and especially replace are very rarely used features
<pie___>
whitequark, feel the powaaa
qu1j0t3 has left ##openfpga ["WeeChat 0.4.3"]
<pie___>
im waiting for the day wq writes a theorem prover
<azonenberg>
whitequark: what would you use a NPOT fifo for?
<azonenberg>
i cant remember ever using one
<azonenberg>
largely because both asic and fpga sram tends to be PoT depth
<azonenberg>
so rounding up to the next PoT is free
<pie___>
smoke PoT every day?
<whitequark>
azonenberg: you can make a FIFO out of 3 BRAMs
<whitequark>
if you configure them for different aspect ratio
<egg|egg>
companion_cube?
<whitequark>
that would be NPoT
<whitequark>
I am not sure if Yosys can infer that but it is a valid and desirable use case
m_w has joined ##openfpga
dingwat_ is now known as dingwat
dj_pi has joined ##openfpga
unixb0y has quit [Ping timeout: 240 seconds]
unixb0y has joined ##openfpga
genii has quit [Read error: Connection reset by peer]
_whitelogger has joined ##openfpga
Bike has quit [Quit: Lost terminal]
dj_pi has quit [Ping timeout: 244 seconds]
jevinski_ has joined ##openfpga
jevinskie has quit [Ping timeout: 252 seconds]
jevinskie has joined ##openfpga
jevinski_ has quit [Ping timeout: 240 seconds]
pie__ has joined ##openfpga
pie___ has quit [Ping timeout: 268 seconds]
Flea86 has quit [Quit: Goodbye and thanks for all the dirty sand ;-)]
Miyu has quit [Ping timeout: 245 seconds]
rohitksingh_work has joined ##openfpga
m_w has quit [Quit: Leaving]
Richard_Simmons has joined ##openfpga
Bob_Dole has quit [Ping timeout: 268 seconds]
ayjay_t has quit [Read error: Connection reset by peer]
ayjay_t has joined ##openfpga
rohitksingh_wor1 has joined ##openfpga
rohitksingh_wor1 has quit [Client Quit]
rohitksingh_work has quit [Ping timeout: 258 seconds]
Dirtysand has joined ##openfpga
ayjay_t has quit [Read error: Connection reset by peer]
ayjay_t has joined ##openfpga
Dirtysand has quit [Quit: Goodbye and thanks for all the dirty sand ;-)]
Miyu has joined ##openfpga
rohitksingh has joined ##openfpga
m4ssi has joined ##openfpga
rohitksingh has quit [Ping timeout: 244 seconds]
SpaceCoaster has quit [Ping timeout: 246 seconds]
SpaceCoaster has joined ##openfpga
dj_pi has joined ##openfpga
rohitksingh has joined ##openfpga
Thorn has joined ##openfpga
dj_pi has quit [Ping timeout: 240 seconds]
m4ssi has quit [Remote host closed the connection]
rohitksingh has quit [Remote host closed the connection]
the_new_lfsr has joined ##openfpga
<the_new_lfsr>
hello world xD I am trying to know more about FPGA and computing hardware, any suggestions about forums, fpgas to buy all will welcome!
zem has joined ##openfpga
<daveshah>
the_new_lfsr: welcome! anything in particular you are interested in? if totally new to FPGAs I'd recommend an iCE40 board because they have a stable open source toolchain and plenty of tutorials
Patater has quit [Quit: Explodes into a thousand pieces]
<etrig>
what's the roadmap for supporting anlogic parts in nextpnr? great to see mmicko's work!
<the_new_lfsr>
daveshah (i don't know how to cite people hahaha) I have done a research involving fpgas where I built some hardware neural networks and also learned about stochastic computing, and VHDL as the HDL. The problem is that that particular FPGA and its toolchain was completely obsolete... (I was debuging things with signalTap)
<daveshah>
The convention on IRC is usually username and a colon
<daveshah>
Sounds like cool projects
<daveshah>
Unfortunately the current state of open source tools means VHDL support is very limited
<the_new_lfsr>
Now I would like to keep learning about hardware development using all the free software I can for being able to introduce myself to professional hardware development while I do a non-related thesis on quantum dots
<daveshah>
Almost everything at the moment is Verilog with a small but increasing subset of SystemVerilog support
<the_new_lfsr>
daveshah: thankyou haha
Patater has joined ##openfpga
<the_new_lfsr>
my biggest disadvantage is that I'm not a computer engineer, I'm physicist
<the_new_lfsr>
so, I have a ton to learn :)
Patater has quit [Remote host closed the connection]
<daveshah>
Sounds like you have some background in HDL though, which is great
<the_new_lfsr>
I heard that Systemverilog is almost as verilog, but more flexible. I have no problem in learning verilog, at least I do understand concurrency an digital circuits
<the_new_lfsr>
thanxs
<daveshah>
Yes, that's the important thing, particularly for people coming from a sequential software background
<the_new_lfsr>
so, any forums, webpages, rss feeds, I would be very gratefull
<kc8apf>
the_new_lfsr: experimental or theoretical?
<daveshah>
The TinyFPGA and its forum and community is quite good https://tinyfpga.com
<the_new_lfsr>
yeah, I used only fortran during my degree... When I learnt python I went crazy wuth all that "new" stuff I was suddenly able to do
<the_new_lfsr>
I am a theoretical physicst, though there is usually a misunderstandin about what they are. In my case, I do research about quantum dots. I simulate them to predict the electronic mobility and light absorbance to see if they would fit as solar cells
<kc8apf>
I've had the privilege of working with quite a few physicists turned software/hardware engineers
<the_new_lfsr>
yeah, I am seeing lots of coleagues going to work with computers, maybe not as engineers but with big data, artificial intelligence and so
<kc8apf>
very cool
<kc8apf>
physics seems to develop a problem-solving skillset that translates very well to tricky computing problems
<the_new_lfsr>
I allways liked digital circuits and electronics in general, and I now see myself working at something related
<the_new_lfsr>
yes, I heard that. I hope will work well in hardware too
<kc8apf>
specifically, physicists seem to understand how to develop controlled experiments to figure out what contributes to a surprising result in a complex system
<the_new_lfsr>
though computer engineers have an incredible workflow
<the_new_lfsr>
I am still a toddler in github, and it would be amazing that my research team would understand it. We would be so much more efficient!
<kc8apf>
:) very true
<kc8apf>
most engineers would be more efficient if they used git/ci/cd workflows
<the_new_lfsr>
ci cd dosen't ring me a bell hahah
<the_new_lfsr>
what do you do for a living?
<kc8apf>
continuous integration and continuous delivery
<the_new_lfsr>
ahh I think I catch the idea
<kc8apf>
software engineer currently working on enterprise security software
<gruetzkopf>
yeah, we "computer" people are privileged that building the tools to better our workflow fits our scope of activities
<kc8apf>
gruetzkopf: I'm continually suprised that VCs and tech leaders don't understand that
<the_new_lfsr>
gruetzkopf: totally
<kc8apf>
the_new_lfsr: though I've had a varied career through software/hardware
<the_new_lfsr>
I heard that security is the big thing for searching for a job right now
<kc8apf>
yes. not sure it's my scene though
<the_new_lfsr>
kc8apf: I have a question for you then. I observed that when connected here, it displayed my public IP. Isn't that a dangerous thing?
<the_new_lfsr>
[not sure it's my scene though] what does interest you most?
m_w has joined ##openfpga
<gruetzkopf>
i somehow fell into doing test and measurement stuff for safety applications..
<kc8apf>
you share your public IP with every site you connect to. Why would it be any more dangerous here?
<the_new_lfsr>
because it is visible to everybody connected. I don't know much of this, but, if I connect to, say, twitter, other users don't have access to that information. Do they??
<the_new_lfsr>
By the way, I have good vibes about this community, I was just asking
<kc8apf>
I enjoy building tools and infrastructure. Especially things that dramatically improve developer experience and/or move an industry in a new direction.
<kc8apf>
I'm hoping to find a way back into having a job working on open-source FPGA/ASIC tools
<the_new_lfsr>
yeah, that would be super cool as a job
<kc8apf>
public IPs are a bit like vehicle number plates. Generally, knowing it doesn't provide much information.
<the_new_lfsr>
thanks for the info people, see you around!