Automatic generation of test instructions for structural faults in processor cores using satisfiability Conference Paper uri icon

publication date

  • 2013