Non-regression approach for the behavioral model generator in mixed-signal system verification | IEEE Conference Publication | IEEE Xplore