Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Many modern systems are designed as a set of interconnectedreactive subsystems. The subsystem verification task is toverify an implementation of the subsystem against the simple deterministichigh-level specification of the entire system. Our verificationmethodology, based on Symbolic Trajectory Evaluation, is ableto bridge the wide gap beten the abstract specification and theimplementation specific details of the subsystem.  presentsa detailed description of an industrial application of this methodologyto the fixed point execution unit of the PorPC processor. re able to verify a representative instruction under all possiblestall, bypass, pipeline conditions and under all possible timingsfor interface to other functional units in the processor.
['Kyle L. Nelson', 'Alok Jain', 'Randal E. Bryant']
I am writing a research paper on a idea Formal verification of a superscalar execution unit
[{"from": "human", "value": "I am writing a research paper on a idea Formal verification of a superscalar execution unit"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Many modern systems are designed as a set of interconnectedreactive subsystems. The subsystem verification task is toverify an implementation of the subsystem against the simple deterministichigh-level specification of the entire system. Our verificationmethodology, based on Symbolic Trajectory Evaluation, is ableto bridge the wide gap beten the abstract specification and theimplementation specific details of the subsystem.  presentsa detailed description of an industrial application of this methodologyto the fixed point execution unit of the PorPC processor. re able to verify a representative instruction under all possiblestall, bypass, pipeline conditions and under all possible timingsfor interface to other functional units in the processor."}]