TY  - RPRT
TI  - Bounded Model Checking of State-Space Digital Systems: The Impact of Finite Word-Length Effects on the Implementation of Fixed-Point Digital Controllers Based on State-Space Modeling
AU  - Felipe R. Monteiro
PY  - 2016
DO  - 10.1145/2950290.2983979
UR  - https://arxiv.org/abs/1610.10079
ID  - 1610.10079
ER  -