@article{202303.0397,
	doi = {10.20944/preprints202303.0397.v2},
	url = {https://doi.org/10.20944/preprints202303.0397.v2},
	year = 2023,
	month = {November},
	publisher = {Preprints},
	author = {Rajesh Datta},
	title = {CVM: Crossbar-Based Circuit Verification Through Modeling},
	journal = {Preprints}
}