Scaling Input Stimulus Generation through Hybrid Static and Dynamic Analysis of RTL

@article{Liu2014ScalingIS,
  title={Scaling Input Stimulus Generation through Hybrid Static and Dynamic Analysis of RTL},
  author={Lingyi Liu and Shobha Vasudevan},
  journal={ACM Trans. Design Autom. Electr. Syst.},
  year={2014},
  volume={20},
  pages={4:1-4:33}
}
We enhance STAR, an automatic technique for functional input vector generation for design validation. STAR statically analyzes the source code of the Register-Transfer Level (RTL) design. The STAR approach is a hybrid between RTL symbolic execution and concrete simulation that offsets the disadvantages of both. The symbolic execution, which follows the concrete simulation path, extracts constraints for that path. The guard in the path constraints is then mutated and passed to an SMT solver. A… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 12 CITATIONS

Similar Papers

Loading similar papers…