ssvlab / dsverifier

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

change maths in ss_closed_loop_quantization_error() to be state feedback #33

Closed polgreen closed 7 years ago

polgreen commented 7 years ago

Maths should now be: for (i=0; i<K_size; i++) { input = ref - Kstates output = C states + D input states = A states + B * input }