lkcl has quit [Ping timeout: 264 seconds]
lkcl has quit [Ping timeout: 264 seconds]
lkcl has joined #skywater-pdk
lkcl has joined #skywater-pdk
lkcl has quit [Ping timeout: 264 seconds]
lkcl has quit [Ping timeout: 264 seconds]
lkcl has joined #skywater-pdk
lkcl has joined #skywater-pdk
futarisIRCcloud has joined #skywater-pdk
futarisIRCcloud has joined #skywater-pdk
lkcl has quit [Ping timeout: 240 seconds]
lkcl has quit [Ping timeout: 240 seconds]
lkcl has joined #skywater-pdk
lkcl has joined #skywater-pdk
lkcl has quit [Ping timeout: 240 seconds]
lkcl has quit [Ping timeout: 240 seconds]
mkk_ has left #skywater-pdk [#skywater-pdk]
mkk_ has left #skywater-pdk [#skywater-pdk]
mkk_ has joined #skywater-pdk
mkk_ has joined #skywater-pdk
lkcl has joined #skywater-pdk
lkcl has joined #skywater-pdk
lkcl has quit [Ping timeout: 256 seconds]
lkcl has quit [Ping timeout: 256 seconds]
lkcl has joined #skywater-pdk
lkcl has joined #skywater-pdk
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
lkcl has quit [Ping timeout: 240 seconds]
lkcl has quit [Ping timeout: 240 seconds]
lkcl has joined #skywater-pdk
lkcl has joined #skywater-pdk
lkcl has quit [Ping timeout: 260 seconds]
lkcl has quit [Ping timeout: 260 seconds]
lkcl has joined #skywater-pdk
lkcl has joined #skywater-pdk
_whitelogger_ has quit [Remote host closed the connection]
_whitelogger_ has joined #skywater-pdk
_whitelogger_ has joined #skywater-pdk
mkk_ has left #skywater-pdk [#skywater-pdk]
mkk_ has left #skywater-pdk [#skywater-pdk]
mkk_ has joined #skywater-pdk
mkk_ has joined #skywater-pdk
mkk_ has left #skywater-pdk [#skywater-pdk]
mkk_ has left #skywater-pdk [#skywater-pdk]
mkk_ has joined #skywater-pdk
mkk_ has joined #skywater-pdk
<
mkk_>
[Amro Tork, skywater-pdk] Hi here
<
mkk_>
[Amro Tork, skywater-pdk] Hi here
<
mkk_>
[Amro Tork, skywater-pdk] Anyone knows a good open source tool for digital verification?
<
mkk_>
[Amro Tork, skywater-pdk] Anyone knows a good open source tool for digital verification?
<
mkk_>
[Noah Evans, skywater-pdk] @ Yosys is pretty good and you can port SVA you tested in Yosys to Onespin.
<
mkk_>
[Noah Evans, skywater-pdk] @ Yosys is pretty good and you can port SVA you tested in Yosys to Onespin.
<
mkk_>
[Tim 'mithro' Ansell, skywater-pdk] That looks super cool...
<
mkk_>
[Tim 'mithro' Ansell, skywater-pdk] That looks super cool...