Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: ,  discuss how a software ABC can be effectively used to derive distinguishing sequences for Verilog-descriptions. A set of these sequences can serve as a test suite for a digital device that is designed based on the corresponding Verilog-description using the FPGA technology. The paper contains a methodology for such test derivation technique, as ll as technical details about the use of the tool and necessary commands. ABC can be easily downloaded from its official b site, and an interested reader can always repeat these experiments or apply this technology for more serious industrial need.
['Natalia Kushik', 'Nina Yevtushenko', 'Stanislav N. Torgaev', 'Nikita Shatilov']
I am writing a research paper on a idea On using ABC for deriving distinguishing sequences for Verilog-descriptions
[{"from": "human", "value": "I am writing a research paper on a idea On using ABC for deriving distinguishing sequences for Verilog-descriptions"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: ,  discuss how a software ABC can be effectively used to derive distinguishing sequences for Verilog-descriptions. A set of these sequences can serve as a test suite for a digital device that is designed based on the corresponding Verilog-description using the FPGA technology. The paper contains a methodology for such test derivation technique, as ll as technical details about the use of the tool and necessary commands. ABC can be easily downloaded from its official b site, and an interested reader can always repeat these experiments or apply this technology for more serious industrial need."}]