| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** gsmecher <[email protected]> has quit IRC (Ping timeout: 256 seconds) | 01:32 | |
| *** cr1901_ <cr1901_!~cr1901@2601:8d:8600:911:11ef:719a:393d:292f> has joined #yosys | 02:08 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:911:11ef:719a:393d:292f> has quit IRC (Ping timeout: 240 seconds) | 02:12 | |
| *** cr1901_ is now known as cr1901 | 02:15 | |
| *** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys | 02:24 | |
| *** bl0x_ <bl0x_!~bastii@p200300d7a710b700de7aecf4886d714e.dip0.t-ipconnect.de> has quit IRC (Ping timeout: 268 seconds) | 02:35 | |
| *** bl0x_ <bl0x_!~bastii@p200300d7a748de00860d771e0ed1ec61.dip0.t-ipconnect.de> has joined #yosys | 02:37 | |
| *** tlwoerner <[email protected]> has quit IRC (Remote host closed the connection) | 05:22 | |
| *** tlwoerner <[email protected]> has joined #yosys | 05:23 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Read error: Connection reset by peer) | 07:01 | |
| *** kristianpaul <[email protected]> has joined #yosys | 07:06 | |
| *** tpb_ <[email protected]> has joined #yosys | 07:56 | |
| *** tpb <[email protected]> has quit IRC (Killed (NickServ (GHOST command used by tpb_))) | 07:56 | |
| *** tpb_ is now known as tpb | 07:56 | |
| *** jevinskie[m] <jevinskie[m]!~jevinskie@2001:470:69fc:105::bb3> has joined #yosys | 07:59 | |
| *** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has quit IRC (Ping timeout: 276 seconds) | 14:25 | |
| *** vidbina <[email protected]> has joined #yosys | 15:56 | |
| *** uis <[email protected]> has quit IRC (Quit: ZNC 1.7.5 - https://znc.in) | 16:24 | |
| *** uis <[email protected]> has joined #yosys | 16:24 | |
| *** tnt <tnt!~tnt@osmocom/tnt> has quit IRC (Ping timeout: 250 seconds) | 17:09 | |
| *** tnt <tnt!~tnt@osmocom/tnt> has joined #yosys | 17:09 | |
| *** vidbina <[email protected]> has quit IRC (Ping timeout: 256 seconds) | 17:45 | |
| ikskuh | yeah, i have to verify that one day | 18:02 |
|---|---|---|
| ikskuh | but my setup works right now and i'm doing the crunch work right now | 18:02 |
| ikskuh | i kinda wonder how to perform behaviour tests for my CPU implementation. i don't think hand-writing workbenches will not scale well | 18:04 |
| ikskuh | current idea is auto-generating test benches from asm files, run the file in a templated testbench and inserts asserts for "these invariants must be given after X clocks" | 18:05 |
| *** vidbina <[email protected]> has joined #yosys | 20:27 | |
| *** lexano <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 20:58 | |
| *** lexano <[email protected]> has joined #yosys | 21:30 | |
| *** ikskuh <[email protected]> has quit IRC (Ping timeout: 250 seconds) | 21:48 | |
| *** ikskuh <[email protected]> has joined #yosys | 21:50 | |
| *** vidbina <[email protected]> has quit IRC (Ping timeout: 256 seconds) | 22:13 | |
| *** nelgau <nelgau!~nelgau@bras-base-mtrlpq2848w-grc-34-174-89-119-57.dsl.bell.ca> has joined #yosys | 23:26 | |
| *** nelgau <nelgau!~nelgau@bras-base-mtrlpq2848w-grc-34-174-89-119-57.dsl.bell.ca> has quit IRC (Remote host closed the connection) | 23:28 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!