Pinned Repositories
concepts-article
An article in development for Concepts
desij
DesiJ is a tool for STG decomposition
KP3S
Marlin Firmware for Kingroon KP3S
KP3S-TFT35-LGVL
optimist
OptiMist (Optimise and Map) is a package of tools that optimise Signal Transition Graph specifications and map them into asynchronous circuits
verimap
VeriMap is a design kit for converting single-rail RTL netlists into a dual-rail circuits resistant to DPA attacks
workcraft
Framework for simulation, synthesis and verification of interpreted graph models.
concepts-article
An article in development for Concepts
workcraft-dist-template
Template for Workcraft distribution
workcraft-doc
Help and tutorial pages for Workcraft
danilovesky's Repositories
danilovesky/verimap
VeriMap is a design kit for converting single-rail RTL netlists into a dual-rail circuits resistant to DPA attacks
danilovesky/workcraft
Framework for simulation, synthesis and verification of interpreted graph models.
danilovesky/optimist
OptiMist (Optimise and Map) is a package of tools that optimise Signal Transition Graph specifications and map them into asynchronous circuits
danilovesky/concepts-article
An article in development for Concepts
danilovesky/desij
DesiJ is a tool for STG decomposition
danilovesky/KP3S
Marlin Firmware for Kingroon KP3S
danilovesky/KP3S-TFT35-LGVL
danilovesky/tuura-testrepo
danilovesky/win-10-virtual-desktop-enhancer
An application that enhances the Windows 10 multiple desktops feature by adding additional keyboard shortcuts and support for multiple wallpapers.