Design and Verification of a SAR ADC SystemVerilog Real Number Model.

Nikolaos Georgoulopoulos Theodora Mamali Alkis A. Hatzopoulos

Published in: J. Electron. Test. (2024)

Keyphrases

mathematical model
formal model
objective function
conceptual model
prior knowledge
high level
verification method
process model
parameter estimation
small number
probabilistic model
similarity measure
theoretical analysis
computational model
theoretical framework
user interface
case study