Search for "Clifford" returned 20 results

Formal Verification of Verilog HDL with Yosys-SMTBMC
52 min

Formal Verification of Verilog HDL with Yosys-SMTBMC

A Free and Open Source Verilog-to-Bitstream Flow for iCE40 FPGAs
59 min

A Free and Open Source Verilog-to-Bitstream Flow for iCE40 FPGAs

Python Gradual Typing: The Good, The Bad and the Ugly
35 min

Python Gradual Typing: The Good, The Bad and the Ugly

Verilog Synthesis and more with Yosys
113 min

Verilog Synthesis and more with Yosys

The nextpnr FOSS FPGA place-and-route tool
46 min

The nextpnr FOSS FPGA place-and-route tool

the next step forward in open source FPGA tools

End-to-end formal ISA verification of RISC-V processors with riscv-formal
29 min

End-to-end formal ISA verification of RISC-V processors with riscv-formal

The KGB Hack: 30 Years Later
47 min

The KGB Hack: 30 Years Later

Looking back at the perhaps most dramatic instance of…

SymbiFlow - Finally the GCC of FPGAs!
62 min

SymbiFlow - Finally the GCC of FPGAs!

A fully FOSS, Verilog to bitstream, timing driven, cross…

Linux on Open Source Hardware with Open Source chip design
41 min

Linux on Open Source Hardware with Open Source chip design

Policing the Romantic Crowd
38 min

Policing the Romantic Crowd

Velocipedes and Face Recognition

Compileroptimierungen für Forth im Microcontroller
60 min

Compileroptimierungen für Forth im Microcontroller

Mecrisp intern

Reverse engineering FPGAs
42 min

Reverse engineering FPGAs

Dissecting FPGAs from bottom up, extracting schematics and…

How can you trust formally verified software?
28 min

How can you trust formally verified software?

How to Design Highly Reliable Digital Electronics
62 min

How to Design Highly Reliable Digital Electronics

LibreSilicon's Standard Cell Library (de)
60 min

LibreSilicon's Standard Cell Library (de)

show + tell

TrustZone-M(eh): Breaking ARMv8-M's security
57 min

TrustZone-M(eh): Breaking ARMv8-M's security

Hardware attacks on the latest generation of ARM Cortex-M…

Art of the Exploit: An Introduction to Critical Engineering
58 min

Art of the Exploit: An Introduction to Critical Engineering

Are machines feminine?
60 min

Are machines feminine?

exploring the relations between design and perception of…

Dissecting HDMI
63 min

Dissecting HDMI

Developing open, FPGA-based capture hardware for conference…

Hacker Jeopardy
115 min

Hacker Jeopardy

Zahlenraten für Geeks