Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Transaction level models promise to be the basis of the verification environment for the whole design process. Realizing this promise requires connecting transaction level and RTL blocks through an object called a transactor, which translates back and forth beten RTL signal-based communication, and transaction level function-call based communication. Each transactor is associated with a pair of interfaces, one at RTL and one at transaction level. Typically, hover, a pair of interfaces is associated to more than one transactor, each assuming a different role in the verification process.   propose a methodology in which both the interfaces and their relation are captured by a single formal specification. By using the specification,  show how the code for all the transactors associated with a pair of interfaces can be automatically generated.
['Felice Balarin', 'Roberto Passerone']
I am writing a research paper on a idea Functional Verification Methodology Based on Formal Interface Specification and Transactor Generation
[{"from": "human", "value": "I am writing a research paper on a idea Functional Verification Methodology Based on Formal Interface Specification and Transactor Generation"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Transaction level models promise to be the basis of the verification environment for the whole design process. Realizing this promise requires connecting transaction level and RTL blocks through an object called a transactor, which translates back and forth beten RTL signal-based communication, and transaction level function-call based communication. Each transactor is associated with a pair of interfaces, one at RTL and one at transaction level. Typically, hover, a pair of interfaces is associated to more than one transactor, each assuming a different role in the verification process.   propose a methodology in which both the interfaces and their relation are captured by a single formal specification. By using the specification,  show how the code for all the transactors associated with a pair of interfaces can be automatically generated."}]