During recent years, researchers of the Electronic Design Automation community have made a great effort to develop new techniques for…