Streaming JSON Parsing

Systematic Testing of Hardware Compilers: Testing the DWARV C-to-VHDL Compiler

DWARV is a C-to-VHDL compiler which can compile arbitrary C programs for a heterogeneous platform with minimal effort. Depending on the application this will imply faster execution. We give an overview of C-to-VHDL compilers. One important aspect of all software is its reliability, and we aim to assess DWARV’s reliability and the adequacy of its...

The structure of tame and wild sets

Overview of structures from a geometric perspective, examples of structures, and expansions of the semialgebraic structure.