Login / Signup

Integrating PSL properties into SystemC transactional modeling - Application to the verification of a modem SoC.

Laurence PierreLuca FerroZeineb Bel Hadj AmorPhilippe BourgonJérôme Quévremont
Published in: SIES (2012)
Keyphrases
  • website
  • hardware and software
  • modeling method
  • real time
  • computer vision
  • temporal logic
  • formal verification