Aniah took part for the second time in the Tech & Fest trade fair, held in Grenoble on 5 and 6 February 2025. This event, now a must for innovation in Europe, brings together researchers, investors and entrepreneurs. Over the two days, iForum gave Aniah the...
November 8th, Aniah joined the Vercors plateau and enjoyed a memorable day of team building, reinforcing the leadership of each team member through various activities to bring real strength to the OneCheck project and develop our future ambitions.
After participating in DAC 2023, Aniah was delighted to take part for a second time in the Design Automation Conference (DAC) in San Francisco from 23 to 27 June 2024. This not-to-be-missed event enabled us to discover the latest technological advances, exchange ideas...
A short presentation of the paper "A Transistor Level Relational Semantics For Electrical Rule Checking By SMT Solving", accepted at: Design, Automation and Test in Europe conference (DATE 2024). The paper introduces a formal approach to model circuits' steady-states...
Come meet us at CadenceLive Taiwan ! We're pleased to meet you on August 31, 2023 at Zhubei, Hsinchu, Taiwan for the CadenceLive Taiwan. See you there !
