clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
<ZipCPU> So ... does the SAT induction solver work from the (potential) assertion error timestep backwards, or from a generic timestep forwards?
promach has joined #yosys
dxld has quit [Quit: Bye]
dxld has joined #yosys
leviathan has joined #yosys
Guest82714 is now known as jayaura
pie__ has quit [Remote host closed the connection]
pie_ has joined #yosys
leviathan has quit [Read error: Connection reset by peer]
leviathan has joined #yosys
leviathan has quit [Remote host closed the connection]
leviathan has joined #yosys
promach has quit [Ping timeout: 260 seconds]
emeb_mac has quit [Ping timeout: 260 seconds]
dys has quit [Ping timeout: 248 seconds]
dys has joined #yosys
dys has quit [Ping timeout: 245 seconds]
AlexDani` has joined #yosys
proteus-guy has quit [Remote host closed the connection]
AlexDaniel has quit [Ping timeout: 240 seconds]
proteus-guy has joined #yosys
promach has joined #yosys
dmin7 has joined #yosys
Kooda has quit [Remote host closed the connection]
Kooda has joined #yosys
quigonjinn has joined #yosys
proteus-guy has quit [Remote host closed the connection]
promach has quit [Ping timeout: 256 seconds]
ovf has quit [Disconnected by services]
ovf_ has joined #yosys
marbler has quit [*.net *.split]
andi- has quit [*.net *.split]
maartenBE has quit [Ping timeout: 260 seconds]
maartenBE has joined #yosys
andi- has joined #yosys
marbler has joined #yosys
X-Scale has quit [Quit: HydraIRC -> http://www.hydrairc.com <- Would you like to know more?]
X-Scale has joined #yosys
proteus-guy has joined #yosys
<dmin7> ZipCPU: i tried to simplify the read and write to the 2d array (triggers) .. in the simulation it runs fine, but it still gets synthesized as FFs and not BRAM .. any idea?
<tpb> Title: [VeriLog] module icosoc_mod_triggerrec #( parameter integer CLOCK_FREQ_HZ = 0, // unused - Pastebin.com (at pastebin.com)
* ZipCPU takes a peek
<dmin7> that was fast (:
<ZipCPU> I think you'll still want to split the always block with if (triggers_*) up into two blocks.
* dmin7 go try
<ZipCPU> You mentioned a 2D array. I don't see any 2D arrays. I see a 1D array of 32-bit words. Is this what you meant by a 2D array?
mirage335 has quit [Ping timeout: 256 seconds]
<dmin7> oh, yes .. just array* sorry
<dmin7> splitting it up doesn't change anything
leviathan has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
m_t has joined #yosys
<dmin7> oh
<dmin7> you also told me to not use the for loop for initialization
<dmin7> without it it uses BRAM :o
mirage335 has joined #yosys
eduardo_ has joined #yosys
develonepi3 has joined #yosys
<ZipCPU> ;)
eduardo__ has quit [Ping timeout: 248 seconds]
promach has joined #yosys
emeb has joined #yosys
<ZipCPU> So, after formally verifying the CPU, the extra logic I added to pass grew the CPU by about 5% LUTs. :/
<emeb> The perfect circuit is like the speed of light - you have to add exponentially more resources to get asymptotically close to the goal.
<ZipCPU> The good news, I guess, is that I've just corrected a whole bunch of otherwise deadly hidden bugs within the CPU
jwhitmore has joined #yosys
dxld has quit [Quit: Bye]
dxld has joined #yosys
jonsmith has joined #yosys
FabM has quit [Quit: ChatZilla 0.9.93 [Firefox 52.8.0/20180509233012]]
jwhitmore has quit [Ping timeout: 248 seconds]
jwhitmore has joined #yosys
jwhitmore has quit [Ping timeout: 248 seconds]
jwhitmore has joined #yosys
develonepi3 has quit [Remote host closed the connection]
leviathan has joined #yosys
AlexDani` is now known as AlexDaniel
jwhitmore has quit [Ping timeout: 240 seconds]
promach has quit [Quit: WeeChat 2.1]
dxld has quit [Quit: Bye]
dxld has joined #yosys
jwhitmore has joined #yosys
dys has joined #yosys
jwhitmore has quit [Ping timeout: 240 seconds]
jonsmith has quit [Ping timeout: 260 seconds]
jwhitmore has joined #yosys
leviathan has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
quigonjinn has quit [Ping timeout: 240 seconds]
zkrx has quit [Read error: Connection reset by peer]
zkrx_ has joined #yosys
m_t has quit [Quit: Leaving]
xerpi has joined #yosys
sklv has quit [Remote host closed the connection]
sklv has joined #yosys
dxld has quit [Quit: Bye]
dxld has joined #yosys
gnufan has quit [Ping timeout: 248 seconds]
gnufan has joined #yosys
dmin7 has quit [Ping timeout: 248 seconds]
gnufan has quit [Ping timeout: 264 seconds]
dmin7 has joined #yosys
dmin7 has quit [Ping timeout: 240 seconds]
dmin7 has joined #yosys
xerpi has quit [Quit: Leaving]
gnufan has joined #yosys
jwhitmore has quit [Ping timeout: 256 seconds]
gnufan has quit [Ping timeout: 240 seconds]
gnufan has joined #yosys
gnufan has quit [Ping timeout: 240 seconds]
gnufan has joined #yosys
gnufan has quit [Ping timeout: 240 seconds]
ralu has quit [Ping timeout: 265 seconds]
ralu has joined #yosys
gnufan has joined #yosys
emeb has quit [Quit: Leaving.]
tpb has quit [Remote host closed the connection]
tpb has joined #yosys