home.social

#systemc — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #systemc, aggregated by home.social.

fetched live
  1. Микроархитектура простого нейросетевого ускорителя на SystemC

    Привет, Хабр! Меня зовут Михаил Степанов, я инженер-стажер группы функциональной верификации YADRO. Эта статья — логическое продолжение предыдущей, «Простая нейронная сеть на C++». Для лучшего понимания темы рекомендую сначала ознакомиться с ней. В этих двух статьях я работал с синтетической задачей, решение которой нельзя применить в реальных системах. На всеобъемлющий анализ я не претендую, это просто академическое исследование. Оно поможет понять, с чего начать погружаться в тему ускорения нейросетей.

    habr.com/ru/companies/yadro/ar

    #нейросетевой_ускоритель #архитектура #микроахритектура #нейронная_сеть #systemc #код_нейронной_сети #c++

  2. That's a wrap on #SystemC evolution day. Very much a stranger in a strange land wandering amongst people who design and model hardware rather than just poking registers. However I've learnt so much about the space. Have headed out for a luxury burger and shake before packing to head home tomorrow.

  3. Really happy to introduce #DVCon ‘s first research track at the conference opening this morning, co-organized with my colleague Christoph Grimm from #RPTU.

    #DVCon #SystemC #Design #Verification

  4. When you order a decades-old #Sega Columns arcade board from Japan, there's gonna be a little bit of shipping damage. And operator bodges. And getting to grips with the first time I've swapped a PCB out in my Dynamo cabinet.

    https://www.leadedsolder.com/2023/02/21/columns-pcb-pickup-install-repair.html

    Still, a triumph of sorts. A calm before the storm. #retrocomputing #retrogaming #arcade #systemc #systemc2 #jamma
  5. A pet project I'm working on right now is system-lisp, a #lisp dialect for hardware design, verification and virtual prototyping. It is meant to be a lisp-like alternative to #Verilog #SystemVerilog #VHDL #SystemC and Specman e. It will support digital, analog and mixed signal simulation as well as formal verification for digital designs and digital synthesis. You'll be able to design, simulate and verify your own hardware devices that can range from simple circuits, gadgets, appliances, cars planes or even spaceships. Right now I'm working on the discrete event simulation engine. I'm implementing it in #commonlisp but I intend to make it backend agnostic in the future so that it can also run on top of #scheme or other Lisp dialects. For more updates follow #systemlisp. Wish me luck.

  6. The title of the panel I'm attending: " and federated simulation " brought a smile to my face 😀
    Someone is thinking things properly

  7. Interesting compiler from that I did not know about (based on ).
    github.com/intel/systemc-compi