Formal Verification of GCSE in the Scheduling of High-level Synthesis: Work-in-Progress | IEEE Conference Publication | IEEE Xplore