Computer-Aided Formal Verification of Power Electronics Circuits

Beg, Omar Ali; Nguyen, Luan Viet; Davoudi, Ali; Johnson, Taylor T.

by Omar Ali Beg, Luan Viet Nguyen, Ali Davoudi, Taylor T. Johnson

Reference:

Omar Ali Beg, Luan Viet Nguyen, Ali Davoudi, Taylor T. Johnson, "Computer-Aided Formal Verification of Power Electronics Circuits", In 8th International Workshop on Frontiers in Analog CAD (FAC), Frankfurt, Germany, 2017, july.

Bibtex Entry:

@InProceedings{beg2017fac,
  author =    {Omar Ali Beg and Luan Viet Nguyen and Ali Davoudi and Taylor T. Johnson},
  title =     {Computer-Aided Formal Verification of Power Electronics Circuits},
  booktitle = {8th International Workshop on Frontiers in Analog CAD (FAC)},
  year =      {2017},
  address =   {Frankfurt, Germany},
  month =     july,
    pdf = {http://www.taylortjohnson.com/research/beg2017fac.pdf},
}