Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  presents a formal synthesis system which delegates the design space exploration to non-formal, and potentially incorrect, high level synthesis tools. With a quadratic complexity, our system obtains either a truly correct-by-construction design, since the formal design process constitutes itself the verification process, or demonstrates that the solution found by the conventional tool was incorrect.
['José M. Mendías', 'R. Hermida', 'Manuel Hernández Fernández']
I am writing a research paper on a idea Correct high-level synthesis: a formal perspective
[{"from": "human", "value": "I am writing a research paper on a idea Correct high-level synthesis: a formal perspective"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  presents a formal synthesis system which delegates the design space exploration to non-formal, and potentially incorrect, high level synthesis tools. With a quadratic complexity, our system obtains either a truly correct-by-construction design, since the formal design process constitutes itself the verification process, or demonstrates that the solution found by the conventional tool was incorrect."}]