Liam Gallagher
Results
2
issues of
Liam Gallagher
Cover statements are not yet possible. Something like: ```scala class Foo() extends Module { val out = IO(Output(Bool())) val i = Counter(10) out := i === 9 cover(out) } ```...
SystemVerilog's sequence construct seems very useful. It might not be useful to entirely copy the syntax but I'd like to capture it's powerful semantics. Perhaps it would be sufficient to...