{"_id":"WT72n3kQ4oBsm2mvS","bibbaseid":"ceesayseitz-mohanan-boukabache-perrin-formalpropertyverificationofthedigitalsectionofanultralowcurrentdigitizerasic-2021","author_short":["Ceesay-Seitz, K.","Mohanan, S. K.","Boukabache, H.","Perrin, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[{"propositions":[],"lastnames":["Ceesay-Seitz"],"firstnames":["Katharina"],"suffixes":[]},{"propositions":[],"lastnames":["Mohanan"],"firstnames":["Sarath","Kundumattathil"],"suffixes":[]},{"propositions":[],"lastnames":["Boukabache"],"firstnames":["Hamza"],"suffixes":[]},{"propositions":[],"lastnames":["Perrin"],"firstnames":["Daniel"],"suffixes":[]}],"month":"October","year":"2021","bibtex":"@inproceedings{kcs-dvcon-21,\n\ttitle = {Formal Property Verification of the Digital Section of an Ultra-Low Current Digitizer ASIC},\n\turl = {https://dvcon-proceedings.org/document/formal-property-verification-of-the-digital-section-of-an-ultra-low-current-digitizer-asic},\n\tbooktitle = {DVCON Europe},\n\tauthor = {Ceesay-Seitz, Katharina and Mohanan, Sarath Kundumattathil and Boukabache, Hamza and Perrin, Daniel},\n\tmonth = oct,\n\tyear = {2021},\n}\n\n","author_short":["Ceesay-Seitz, K.","Mohanan, S. K.","Boukabache, H.","Perrin, D."],"key":"kcs-dvcon-21","id":"kcs-dvcon-21","bibbaseid":"ceesayseitz-mohanan-boukabache-perrin-formalpropertyverificationofthedigitalsectionofanultralowcurrentdigitizerasic-2021","role":"author","urls":{"Paper":"https://dvcon-proceedings.org/document/formal-property-verification-of-the-digital-section-of-an-ultra-low-current-digitizer-asic"},"metadata":{"authorlinks":{}},"downloads":16},"bibtype":"inproceedings","biburl":"comsec.ethz.ch/wp-content/files/katharina.bib","dataSources":["ExSNr8KHxMiLm32vy","Xy8iTfv6A3D2wALgZ","GXZDscnxRKcSqpjq7"],"keywords":[],"search_terms":["formal","property","verification","digital","section","ultra","low","current","digitizer","asic","ceesay-seitz","mohanan","boukabache","perrin"],"title":"Formal Property Verification of the Digital Section of an Ultra-Low Current Digitizer ASIC","year":2021,"downloads":17}