Delete   Set public   Set private   Add tags   Delete tags
  Add tag   Cancel
  Delete tag   Cancel
Daily Weekly Monthly

Daily Shaarli

Previous day
All links of one day in a single page.
Next day

June 1, 2018

Home | seL4

Système d'exploitation prouvé open-source

sel4 os
PicoEVB Xilinx Artix FPGA development board M.2 PCIe

J'adore le concept. Par contre ça risque d'être difficile à utilisé pour voir les leds de debug non ?
En tout cas chez moi l'emplacement est planqué sous le pc ...

flf artix fpga portable
Estonia To Become The World’s First Free Public Transport Nation

Tindin !

transport-gratuit estonie
Formally Verifying Asynchronous Components

Comment vérifier formellement un composant asynchrone.

flf fpga verilog yosys verification