Test and Verification Environment and Methodology for Vernier Time-to-Digital Converter Pixel Array.

Lukasz A. Kadlubowski Piotr Kmon

Published in: DDECS (2021)

Keyphrases

analog to digital converter
data conversion
test generation
charge coupled device
dynamic environments
model checking
design methodology
formal verification
real time
high speed
virtual world
test data
pixel values
focal plane
high voltage