Login / Signup

Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent.

Aritra HazraSrobona MitraPallab DasguptaAjit PalDebabrata BagchiKaustav Guha
Published in: DAC (2010)
Keyphrases
  • rough sets
  • formal verification
  • model checking
  • bounded model checking
  • model checker
  • automated verification
  • artificial intelligence
  • modeling method
  • expert systems
  • fuzzy logic
  • symbolic model checking