9 citations · 24 across the 4 of their papers we have counts for
4 papers
A Formally Verified Procedure for Width Inference in FIRRTL
Keyin Wang, Xiaomu Shi, Jiaxiang Liu +4
FIRRTL is an intermediate representation language for Register Transfer Level (RTL) hardware designs. In FIRRTL programs, the bit widths of many components are not specified explic…
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks
Jiaxiang Liu, Yunhan Xing, Xiaomu Shi +3
As a new programming paradigm, deep neural networks (DNNs) have been increasingly deployed in practice, but the lack of robustness hinders their applications in safety-critical dom…
First steps towards the certification of an ARM simulator using Compcert
Xiaomu Shi, Jean-François Monin, Frederic Tuong +1
The simulation of Systems-on-Chip (SoC) is nowadays a hot topic because, beyond providing many debugging facilities, it allows the development of dedicated software before the hard…
Designing a CPU model: from a pseudo-formal document to fast code
Frédéric Blanqui, Claude Helmstetter, Vania Joloboff +2
For validating low level embedded software, engineers use simulators that take the real binary as input. Like the real hardware, these full-system simulators are organized as a set…