Jens Döge

Learn More
11 On-line monitoring of properties built on regular expressions sequences 183 Katell Morin-Allory, Dominique Borrione 12 Observer-based verification using introspection 195 Abstract The verification of a design's adherence to its specification has been and still is a major problem within the EDA community. Multiple issues like completeness, consistency,(More)
—This work aims to develop a universal and flexibly programmable image sensor SoC for a variety of industrial image acquisition and processing applications. It is comprised of an array of 1024×1024 pixel cells with a pitch of 8.75 µm and features linear/logarithmic characteristics. In logarithmic mode, dynamic range exceeds 120 dB. The fully programmable,(More)
Imagers with programmable, highly parallel signal processing execute computationally intensive processing steps directly on the sensor, thereby allowing early reduction of the amount of data to relevant features. For the purposes of architectural exploration during development of a novel Vision-System-on-Chip (VSoC), it has been modelled on system level.(More)
  • 1