US8694937B2 - Implementing and Checking Electronic Circuits with Flexible Ramptime Limits and Tools for Performing the Same