Browsing by Author "Lungu, Anita"

Now showing items 1-1 of 1

    • Verification-Aware Processor Design 

      Lungu, Anita (2009)
      As technological advances enable computers to permeate many of our society's critical application domains (such as medicine, finances, transportation), the requirement for computers to always behave correctly becomes critical ...