RT from Daniel Payne (@Daniel_J_Payne)

RISC-V engineers can do logical ECOs faster using formal technology, see how at this Synopsys webinar with a speaker from SiFive. July 26th, 10-11AM PDT. https://marketingeda.com/event/a-novel-approach-to-implementing-logical-ecos-with-synopsys-formality-eco-on-high-performance-risc-v-cores/ #SemiEDA #SemiWiki

Original tweet: https://twitter.com/Daniel_J_Payne/status/1683590226432901120