5 private links
Le processeur 64bits au jeux d'instructions OpenPower tourne sur la carte ECP5 à $15.
Un petit processeur POWER Open ISA écrit en Chisel. Il permet de faire tourner micropython.
Tiens, le CEA semble s'intéresser à Chisel. Ils ont envoyé quelqu'un faire une présentation au CCC2020.
Et ils ont une offre de stage sur le sujet :
https://www.linkedin.com/jobs/view/1717229029/
La présentation sur le site officiel du CCC:
https://events.linuxfoundation.org/chisel-community-conference/program/schedule/
Scala ide plugin
To have beautiful colors in vim with FIRRTL
Comment faire de la preuve formelle avec Chisel
Version 2.0 du chisel book. Avec une version traduite en Chinois.
Pour voir toutes les «main()» disponibles dans un répertoire sbt racine :
sbt 'show discoveredMainClasses'
Les main() sont en fait des classes qui étendent App :
class MyObj extends App {
}
Ce sont ces classes qui sont appelé quand on fait un :
sbt "runMain ..."
If you are designing your gateware with Chisel-HDL and testing it with CocoTB, you will need some script like that.
- to add waveform under verilog TOP generated for Icarus simulation
- To generate all cocotb files for testing a Chisel module
- To inject some SystemVerilog code in verilog generated for Formal verification (assume/assert/cover/...)
Si c'est pas testé, c'est cassé !
Initialize Vec() of Reg()
Un petit tuto sur «où commencer» pour Chisel3
Une présentation de Diplomacy, le module Chisel permettant de gérer les paramètres dans le Rocket-chip.
Je suis encore dans le TGV mais le wifi tourne vachement bien maintenant !
Du coup j'ai pu faire un billet sur la Conf que je quitte à peine.
To get time (step) simply use 't'.
class MyTest (dut: MyModule) extends PeekPokeTester(dut) {
step(1)
println("Step value is " + t)
...Petite revue du Livre de Martin Schoeberl
Jonathan Bachrach, Adam Izraelevitz, Jack Koenig
EECS UC Berkeley
January 31, 2017