Formal Property Verification of the Digital Section of an Ultra-Low Current Digitizer ASIC

Author(s):
Katharina Ceesay-Seitz, Sarath Kundumattathil Mohanan, Hamza Boukabache, Daniel Perrin
Location:
Europe
Year:
2021
Type:
Paper
Format:
pdf