Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Aggressive technology down-scaling increases the vulnerability of microprocessors to runtime errors, in particular radiation-induced soft errors. ,  present a technique based on Boolean satisfiability (SAT) to obtain reliability parameters of microprocessors in the presence of soft errors.  use a metric called microprocessor vulnerability factor (MVF) which captures the soft error rate of a particular implementation of the microprocessor, separating it from vulnerability factors due to the micro-codes and programs running on the microprocessor.  transform the MVF computation problem into equivalent Boolean satisfiability problem and use state-of-the-art SAT-solvers to obtain MVF.  present results for some widely used RISC processor cores and provide detailed analysis for various instructions and execution paths/resources.
['Syed Zafar Shazli', 'Mehdi Baradaran Tahoori']
I am writing a research paper on a idea Obtaining Microprocessor Vulnerability Factor Using Formal Methods
[{"from": "human", "value": "I am writing a research paper on a idea Obtaining Microprocessor Vulnerability Factor Using Formal Methods"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Aggressive technology down-scaling increases the vulnerability of microprocessors to runtime errors, in particular radiation-induced soft errors. ,  present a technique based on Boolean satisfiability (SAT) to obtain reliability parameters of microprocessors in the presence of soft errors.  use a metric called microprocessor vulnerability factor (MVF) which captures the soft error rate of a particular implementation of the microprocessor, separating it from vulnerability factors due to the micro-codes and programs running on the microprocessor.  transform the MVF computation problem into equivalent Boolean satisfiability problem and use state-of-the-art SAT-solvers to obtain MVF.  present results for some widely used RISC processor cores and provide detailed analysis for various instructions and execution paths/resources."}]