La nouvelle entreprise de Clifford qui s'occupe de la maintenance et du développement de Yosys

Le logiciel de simulation ghdl a vraiment bien évolué. Il est désormais possible de s'en servir également pour la synthèse.
C'est ce que nous allons voir dans cette dépêche.

Le confinement ne fait vraiment pas du bien aux relations humaines.

Exemple d'usage de SymbiFlow avec le eos s3 de quicklogic et la série 7 de xilinx

Synthèse Verilog vers des primitives Spice permettant de faire de la simulation Analogique de son design !

#Lattice liste les cartes de développements #opensource utilisant leurs #FPGA sur leur site officiel désormais.
Bientôt une évocation des logiciels de synthèse et de placement routage libre pour leurs produits ?
#yosys #nextpnr #arachnepnr

Comment reproduire un bug dans une transmission grâce à la méthode formelle.

Introduction aux tests formels

Toute l'introduction pour apprendre à faire de la vérification formelle avec yosys.

To follow

Petite question:
Vous êtes un fabricant de composants électronique connu et vous vous rendez compte que des développeurs ont réalisé une suite logiciels (de qualité !) à destination de vos composants. Vous faites quoi ?

Réponse de Lattice:
Vous menacez de les traîner en justice ...

Non mais c'est vrai quoi, vous risqueriez de vendre plus de composants !

Bientôt disponible sur groupgets !

Comment déverminer un PCIe avec une méthode formel (yosys inside)