home.social

Search

47 results for “BrunoLevy01”

  1. @BrunoLevy01 yes!!! I’m currently rewatching the whole series so that I can read the follow up comic created by 4 French writers ☺️ #goldorak

  2. @yrabbit @BrunoLevy01 I did not know, you are doing great! It seems as you are directly diving from the intro course into leisurely conquering a new arch, discovering sizecoding while at it :-) See you next time at the #Lovebyte demoparty!

  3. Sharing this I saw on twitter by BrunoLevy01:

    ——

    The simple #femtorv-quark takes no more than 200 lines of VERILOG. Yes, it is the complete description of a risc-v processor, that can run C programs compiled with gcc-riscv

  4. The #FemtoRV Quark, a small #RISCV RV32I core developed by @BrunoLevy01 and me has been implemented in silicon by a team from Brazil:
    github.com/FelipeFFerreira/ITA

    Very happy about that!

    See the original processor source here:

    github.com/BrunoLevy/learn-fpg

  5. Congrats @destevez, well deserved for #MaiaSDR !

    Meanwhile @BrunoLevy01 and @sylefeb this might be of interest to you as, during the #SDR Academy conference ( #sdra 2023.sdra.io/ ), they also call for more #FPGA people to submit for next year. A bit like when you Sylvain have presented #Silice to South Indian SDR User Group (SI-SDR-UG) youtu.be/fr4Dst1fQrk?t=10554

  6. I am happy to announce the FemtoMSP430, a processor designed with the instruction set of the classic #MSP430, but with a flexible bus interface similar to @BrunoLevy01 #FemtoRV32 including memory busy signaling. The playground contains a phantasy "microcontroller" design for the #ULX3S #FPGA board, interactively running the original #Mecrisp #Forth image for MSP430G2755, enhanced with a text mode on 800x600 video, USB-CDC terminal and a lot of GPIO wires: codeberg.org/Mecrisp/FemtoMSP4

  7. ^^^ Is an excellent video describing how the FemtoRV works. I will soon be comparing #Mecrisp #ice with Risc-V, so the timing is almost perfect.

    #forth #fpga #PicoIce #MecrispIce #riscv #Lattice #Mecrisp

    @Mecrisp @BrunoLevy01

  8. Found an excellent walkthrough video youtube.com/watch?v=8boamDdvD8 for the #FemtoRV-Quark github.com/BrunoLevy/learn-fpg code! @BrunoLevy01 and me did our very best to make the Verilog source of our #RISCV RV32I processor core readable, and this video explains all the tricks involved in a very nice style with drawings.

  9. Went with another classic, the dragon statue.

    This shows triangulated surface remeshing using a (very basic) wrapper for @BrunoLevy01 et al.'s fantastic Geogram library (github.com/BrunoLevy/geogram).

  10. What kind of fixed point (or small floating point) shaders without textures do yall folks know of? I know @BrunoLevy01 had that great link I need to dig into still 🙌 🤓

    x.com/BrunoLevy01/status/17469

  11. 1/3 This year again our students @telecomnancy did a great job writing a wave player SOC on #fpga with #Silice! (cc BrunoLevy01)

    Also, I can only approve their choice of sound tracks 😋 (in general I got to discover many new music styles, thanks to all for this!)

  12. After Hours Engineering: SoC Episode 1: VGA and femto

    We begin by covering a relatively simple VGA and finish off with a brief on the CPU (aka femto by @BrunoLevy01 )

    Feel free to come along for the journey! 🙂

    youtu.be/TlvzOEuXpvo
    📺🍕🍺
    #fpga #SoC #Machdyne

  13. The space mission MAIUS-2 I wrote firmware for since 2019 launched in November 2023, and I am now open for new paid projects! My favourites are #Assembler, #Forth and #Verilog on #FPGA. I am the author of #Mecrisp, a family of optimising Forth compilers (Mecrisp-Ice went to space!), did processor design with @BrunoLevy01 (#FemtoRV Gracilis) and I love #sizecoding challenges (Byte-Athlon Champion in #Lovebyte 2023). Formally, I am Dr. rer. nat. in biophysics with experience in laser spectroscopy.

  14. Four RV32I @risc_v cores totaling ~333M IPS do work with a 480p frame buffer 🤓. 20 threads, ~software rendering, but focus isn't on CPU core, next up: experiments with custom accelerator pipelines to offload compute 😏
    Thanks @BrunoLevy01 and friends!

  15. Under the hood: HUGE Laguerre diagrams (fig 1), used to compute the large sparse matrices (fig 2). Grid 5000/SLICES has nice "pocket calculators" (fig 3), so we played with them and obtained interesting timings (fig 4) on a smaller problem (120 million points). Can we do even better ? More to come.

  16. Working on Scalable Optimal Transport with R. Mohayaee, C. Dapogny and E. Oudet:
    more than 1 billion particles !

    ➡️ use algebraic multigrid preconditioner (AMGCL)

    ➡️ rewrite GPU backend: no limit on matrix size, supports multi-GPU !

    ➡️ Available in OpenNL: github.com/BrunoLevy/OpenNL

  17. This chip is special,
    (tinytapeout.com/chips/ttsky25b/)

    - it has designs made by hobbyists
    - and, more importantly, it has two designs in it !!
    - these two FemtoRV designs were authored by others

    What is FemtoRV ? It is a super simple RiscV processor that we designed with @Mecrisp because we were boring during COVID...),
    More information here:
    github.com/BrunoLevy/learn-fpg

    I am super excited, can't wait to see whether these 200 lines of VERILOG can be turned into a real Risc-V CPU on a chip !

  18. I was considering tinkering with to make it run on the device, but it seems that others already did it, it is part of the Apicula examples, here:
    github.com/YosysHQ/apicula/blo
    I'll try that tomorrow (let us call it a day for now)

  19. The traditional blinky was easy, let us see whether flies...

  20. Now I leave the floor to @sylefeb. Next lessons: the language !
    github.com/sylefeb/Silice

  21. @WillFlux has a gracilis version (RV32IMC with interupts). I think that adding support for debugging will be quite easy (but I did not try)