search

ssvlab / dsverifier

DSVerifier - Digital Systems Verifier
http://dsverifier.org
Apache License 2.0
12 stars 4 forks source link

Overshoot Verification #122

Closed thiago-cavalcante closed 6 years ago

thiago-cavalcante commented 6 years ago

Added overshoot verification in DSVerifier.

thiago-cavalcante commented 6 years ago

@lucasccordeiro and @lennonchaves Could you please review the code?

thiago-cavalcante commented 6 years ago

@lucasccordeiro No, this PR is not ready to be reviewed because we are improving the algorithm of function peak_output().

thiago-cavalcante commented 6 years ago

@lucasccordeiro @lennonchaves Could you please review this PR again?