Stay up to date with the latest news, blogs about FPGA and its applications, our projects and much more.
Blog
I.e. it cannot solve constraints involving subtraction (-) or user-specified type-level operations on type-level naturals […] For user-defined type-level natural operations, we are currently out of luck.
Blog
If you have ever worked with GHC.TypeLits then you have probably encountered an error that is very similar to...
Blog
Since version 7.10.2, GHC supports so-called type-checker plugins which let us extend GHC’s constraint solver, i.e. extend the range of programs GHC can type check.
A 3µs deadline at 5000 fps, met on an FPGA. Our RTL for TOmCAT, ESA’s terabit optical link, with TNO and Demcon.
Verification that catches problems early, not late. We rebuilt Axign’s flow around CI and simulation tooling for their next-gen audio chips.
Eight FPGA boards, optically linked, synced to the nanosecond. Our proof-of-concept hardware and software stack for Bittide, Google’s research ...
A low-latency switch carrying four Ethernet streams down one optical fiber, with EtherCAT under a microsecond end to end. QBayLogic’s FPGA fir ...
A steel ball through a spinning disc, every time. Our hard real-time controller for CAES at the University of Twente.
We are your business partner for powerful FPGA design and digital design automation. Discover what our innovative and advanced chip solutions can offer you. The more complex the challenge, the more excited we become!