@inproceedings{mia-12-aa-verilog,
  author = {Mial{\k{t}}u, R{\v{a}}zvan-C{\v{a}}t{\v{a}}lin},
  title = {A {SystemVerilog} Approach in System Validation with Affine Arithmetic}, 
  booktitle = {International Semiconductor Conference (CAS 2012)}, 
  year = 2012,
  volume = {2},
  number = {},
  pages = {407-410},
  doi = {10.1109/SMICND.2012.6400746},
  issn = {2377-0678},
  month = oct,
  comment = {Combines AA with the SystemVarilog language},
  abstract = {This paper introduces an original approach to system modeling for performance analysis and optimization. The method presented herein theoretical background is the mathematical field of affine arithmetic chosen for its intrinsic data representation optimal to analysis of the mitigation of variations and refinement of deviations and error analysis. The chosen language of SystemVerilog is beneficial for it is allowing the integration of the validation process and of the verification process for the specific class of mixed signal electrical circuits and systems.},
  altkeys = {mia-12-aa-varilog}
}