1 citations · 2 across the 2 of their papers we have counts for
2 papers
eess.SY2017★ 1 cited
Verifying Digital Systems with MATLAB
Lennon Chaves, Iury Bessa, Lucas Cordeiro +2
A MATLAB toolbox is presented, with the goal of checking occurrences of design errors typically found in fixed-point digital systems, considering finite word-length effects. In par…
eess.SY2016★ 1 cited
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration)
Lennon Chaves, Iury Bessa, Lucas Cordeiro +1
An automated counterexample reproducibility tool based on MATLAB is presented, called DSValidator, with the goal of reproducing counterexamples that refute specific properties rela…