1. Scott Beamer and David Donofrio . 2020. Efficiently exploiting low activity factors to accelerate RTL simulation . In DAC. ACM/IEEE , USA , 1--6. Scott Beamer and David Donofrio. 2020. Efficiently exploiting low activity factors to accelerate RTL simulation. In DAC. ACM/IEEE, USA, 1--6.
2. The DWARF committee. 2017. The DWARF Debugging Standard. The DWARF committee. 2017. The DWARF Debugging Standard.
3. Global value numbers and redundant computations
4. Synopsys. 2021. Verdi. Synopsys. 2021. Verdi.
5. S. Jiang el.al. 2018. Mamba: closing the performance gap in productive hardware development frameworks . In DAC. ACM/IEEE , USA , 1--6. S. Jiang el.al. 2018. Mamba: closing the performance gap in productive hardware development frameworks. In DAC. ACM/IEEE, USA, 1--6.