Login / Signup

A scalable model based RTL framework zamiaCAD for static analysis.

Anton TsepurovGunter BartschRainer DorschMaksim JenihhinJaan RaikValentin Tihhomirov
Published in: VLSI-SoC (2012)
Keyphrases
  • static analysis
  • lightweight
  • database
  • learning algorithm
  • probabilistic model
  • software engineering
  • test generation
  • abstract interpretation