Henry Selvaraj, Nikita Ramesh Wanjale. Analog and Mixed-Signal Verification Using Satisfiability Solver on Discretized Models. In Henry Selvaraj, Grzegorz Chmaj, Dawid Zydek, editors, 25th International Conference on Systems Engineering, ICSEng 2017, Las Vegas, NV, USA, August 22-24, 2017. pages 418-424, IEEE Computer Society, 2017. [doi]
@inproceedings{SelvarajW17,
title = {Analog and Mixed-Signal Verification Using Satisfiability Solver on Discretized Models},
author = {Henry Selvaraj and Nikita Ramesh Wanjale},
year = {2017},
doi = {10.1109/ICSEng.2017.10},
url = {http://doi.ieeecomputersociety.org/10.1109/ICSEng.2017.10},
researchr = {https://researchr.org/publication/SelvarajW17},
cites = {0},
citedby = {0},
pages = {418-424},
booktitle = {25th International Conference on Systems Engineering, ICSEng 2017, Las Vegas, NV, USA, August 22-24, 2017},
editor = {Henry Selvaraj and Grzegorz Chmaj and Dawid Zydek},
publisher = {IEEE Computer Society},
isbn = {978-1-5386-0610-0},
}