Session

DescriptionThis session features advances in verification and testing to address increasing system complexity, security and emerging technologies.
It first proposes abstractions and mechanisms to detect bugs and vulnerabilities at system-level.
To this aim, trace notation for ISA definition is proposed for capture processor behaviors, while efficient extraction of reset-controlled events and concolic testing are used for detecting security vulnerabilities in SoC with asynchronous partial reset.
The session also addresses emerging directions in the verification of control systems based on neural networks and equivalence checking of quantum circuits. This is achieved by synthesizing barrier certificates of closed-loop systems controlled by neural networks and by employing tensor network contraction for computing the fidelity between an ideal quantum circuit and its noisy implementations.