Viewing profile — senshu

While simulation is a well-established practice among digital hardware developers, I have the impression that formal verification is still largely ignored. I hope it changes as fre…

All diagrams were created with Inkscape.

My experience in the lower-level aspects of hardware synthesis is limited but I would love to explore this topic. I use proprietary synthesis tools for FPGAs everyday but I do not …

In the "signal-of-vectors vs vector-of-signals" comparison, "vector" refers to the Racket data type used for arrays. It should not be confused with "bit vectors", which are represe…

Author here. This post is part of an ongoing experiment to use Racket as a platform for hardware description languages. Describing a RISC-V core in Racket is a step in this directi…

I thing it was Borland Turbo C++ 3.0 for MS-DOS. It had syntax highlighting, integrated help with full language and API documentation. Which was useful because I didn't have Intern…

I am the author of the question at stackoverflow. The racket topic on SO does not seem very active, so I thought I could get answers here as well.

I didn't know that. I will fix the README of the project as well.

Definitely. This could be the next step in my exploration of programming techniques to solve this problem. I will have a look at your implementation.

The authors of the Gecode solver could explain it better than me, but I think that -O3 and -O4 perform a first pass that pre-compute variable bounds and values, which could reduce …

I agree with that and I definitely will try. As explained in the first comment, one of the motivations for the project was to learn constraint programming. The tablature generator …

Author here. TablaZinc is a proof-of-concept tablature generator for fretted string instruments -- such as the guitar, bass, mandolin, banjo, etc. It is a week-end project that I s…

I think I understand what you mean. A trained guitar player would not need such a tool, and a beginner should probably avoid using it :). My original idea was to explore how I coul…

This article is the first of a series about « midi@3:14 », a home-made MIDI keyboard using a 3x14 Janko layout.

Sozi is a tool that creates animated presentations from SVG documents. Read more at https://sozi.baierouge.fr/ I have created a new repository to share examples that showcase the p…

Sozi is a tool that creates animated presentations from SVG documents. Read more at https://sozi.baierouge.fr/ I need your help to test Sozi 19.11 and update the translations.

Humanoïdes is a retro game inspired by Androides, a French arcade game made in the 1980s for the Thomson MO5 personal computer. Androides itself was very similar to Lode Runner. It…