Formal Property Verification of the Digital Section of an Ultra-Low Current Digitizer ASIC. Ceesay-Seitz, K., Mohanan, S. K., Boukabache, H., & Perrin, D. In DVCON Europe, October, 2021.
Formal Property Verification of the Digital Section of an Ultra-Low Current Digitizer ASIC [link]Paper  bibtex   17 downloads  
@inproceedings{kcs-dvcon-21,
	title = {Formal Property Verification of the Digital Section of an Ultra-Low Current Digitizer ASIC},
	url = {https://dvcon-proceedings.org/document/formal-property-verification-of-the-digital-section-of-an-ultra-low-current-digitizer-asic},
	booktitle = {DVCON Europe},
	author = {Ceesay-Seitz, Katharina and Mohanan, Sarath Kundumattathil and Boukabache, Hamza and Perrin, Daniel},
	month = oct,
	year = {2021},
}

Downloads: 17