clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
AlexDaniel has quit [Ping timeout: 246 seconds]
emeb has quit [Quit: Leaving.]
emeb_mac has joined #yosys
_whitelogger has joined #yosys
gsi__ has joined #yosys
SpaceCoaster has quit [Ping timeout: 246 seconds]
gsi_ has quit [Ping timeout: 245 seconds]
seldridge has quit [Ping timeout: 268 seconds]
tecepe has quit [Quit: Connection closed for inactivity]
citypw has joined #yosys
proteusguy has quit [Remote host closed the connection]
proteusguy has joined #yosys
kuldeep has quit [Quit: Its never too late!]
leviathanch has joined #yosys
kuldeep has joined #yosys
promach has joined #yosys
<promach> why does cover($past(full)); failed but cover(full); passed ? https://i.imgur.com/40EC9Xh.png
<tpb> Title: An asynchronous FIFO implementation from the book "The Art of Hardware Architecture Design Methods and Techniques for Digital Circuits" · GitHub (at gist.github.com)
rohitksingh has joined #yosys
seldridge has joined #yosys
pie___ has joined #yosys
pie__ has quit [Ping timeout: 240 seconds]
<tpb> Title: cover() failed for asynchronous fifo | Verification Academy (at verificationacademy.com)
proteusguy has quit [Remote host closed the connection]
rohitksingh_work has joined #yosys
proteusguy has joined #yosys
rohitksingh has quit [Ping timeout: 250 seconds]
rohitksingh_ has joined #yosys
rohitksingh_ has quit [Ping timeout: 240 seconds]
seldridge has quit [Ping timeout: 268 seconds]
AlexDaniel has joined #yosys
emeb_mac has quit [Ping timeout: 245 seconds]
mjoldfield has quit []
dys has quit [Ping timeout: 240 seconds]
fsasm has joined #yosys
proteusguy has quit [Remote host closed the connection]
mjoldfield has joined #yosys
citypw has quit [Ping timeout: 272 seconds]
proteusguy has joined #yosys
leviathanch has quit [Remote host closed the connection]
AlexDaniel has quit [Ping timeout: 250 seconds]
rohitksingh_work has quit [Read error: Connection reset by peer]
develonepi3 has joined #yosys
rohitksingh has joined #yosys
proteusguy has quit [Ping timeout: 250 seconds]
proteusguy has joined #yosys
citypw has joined #yosys
seldridge has joined #yosys
seldridge has quit [Ping timeout: 272 seconds]
FL4SHK has joined #yosys
seldridge has joined #yosys
emeb has joined #yosys
citypw has quit [Ping timeout: 244 seconds]
AlexDaniel has joined #yosys
dys has joined #yosys
dys has quit [Ping timeout: 244 seconds]
fsasm has quit [Ping timeout: 250 seconds]
dys has joined #yosys
rohitksingh has quit [Ping timeout: 250 seconds]
seldridge has quit [Ping timeout: 272 seconds]
seldridge has joined #yosys
seldridge has quit [Ping timeout: 245 seconds]
seldridge has joined #yosys
massi_ has joined #yosys
massi_ has quit [Remote host closed the connection]
seldridge has quit [Ping timeout: 240 seconds]
tpb has quit [Remote host closed the connection]
tpb has joined #yosys