Device Verification Testing of High-Speed Analog-to-Digital Converters in Satellite Communication Systems.
Seokjin KimRadmil ElkisMartin PeckerarPublished in: IEEE Trans. Instrum. Meas. (2009)
Keyphrases
- communication systems
- high speed
- mixed signal
- low power
- data conversion
- data acquisition
- information processing systems
- formal verification
- circuit design
- test generation
- computer systems
- symbolic execution
- printed circuit
- blind equalization
- multiple access
- model checking
- channel estimation
- multi channel
- focal plane
- test cases
- artificial intelligence
- remote sensing
- real time
- delta sigma
- cmos image sensor
- underwater acoustic
- sigma delta
- tablet pc
- communication technologies