Power grid verification under transient constraints

@article{Fawaz2017PowerGV,
  title={Power grid verification under transient constraints},
  author={Mohammad Fawaz and Farid N. Najm},
  journal={2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)},
  year={2017},
  pages={593-600}
}
Checking the power grid must begin early in the design. One way of doing this is using vectorless verification which, unlike standard simulation, only requires limited information about the currents drawn from the grid, in the form of DC local and global upper-bounds, or current constraints. We extend the standard vectorless verification to allow transient… CONTINUE READING