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.
Events.
Design Automation Conference 2024
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 Transistor Level Relational Semantics For Electrical Rule Checking By SMT Solving” – DATE 2024
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...
Aniah at CadenceLIVE Taiwan
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 !
