DATE 2021 became a virtual conference due to the worldwide COVID-19 pandemic (click here for more details)

Taking into consideration the continued erratic development of the worldwide COVID-19 pandemic and the accompanying restrictions of worldwide travelling as well as the safety and health of the DATE community, the Organizing Committees decided to host DATE 2021 as a virtual conference in early February 2021. Unfortunately, the current situation does not allow a face-to-face conference in Grenoble, France.

The Organizing Committees are working intensively to create a virtual conference that gives as much of a real conference atmosphere as possible.

Symbiotic EDA

Symbiotic EDA
Contact Person
Edmund Humenberger
Location

Alaudagasse 11/107/6
1100 Wien
Austria

Symbiotic EDA provides training, software and support services for improving digital design productivity and functional safety. Their formal verification tools reduces the effort necessary to find and fix hard to find bugs within VHDL, Verilog, or SystemVerilog designs.

Symbiotic EDA is the only provider of an end-to-end formal verification solution for RISC-V cores.