(57) ABSTRACT A digital beamforming synthetic aperture radar (SAR) mixes a first analog
signal to generate a frequency-shifted first signal having a first spectral band, mixes a …

An electronic system for test generation is disclosed. The system comprises a source code
generator, a test generator, and a code and test equivalence indicator, each of which take …

Systems and methods are provided for processing and disseminating video data. A video
disseminating portal is provided to show orders for video data, including status information …

An apparatus and methods for generating a plurality of output test vectors from a statechart
are provided. The statechart may specify requirements of a system function to be executed …

A synthetic aperture radar (SAR) is operable in an interro gation mode and in a self-imaging
mode, the self-imaging mode entered in response to determining a response to interrogation …

FIG. 3 is a highly schematic, functional block diagram of Some embodiments of a code
generation system in accor dance with embodiments of the present disclosure; FIG. 4 is a …

A test generator and methods for generating tests from a hybrid diagram are provided. A
hybrid diagram is a diagram that primarily uses one higher-level semantic notation with …

6,570.459 B1 5/2003 Nathanson et al. 6,615,166 B1 9, 2003 Guheen et al. 6,671,874 B1
12/2003 Passova 6,938,228 B1 8/2005 Zhong 6,944,848 B2 9, 2005 Hartman 7,051,322 B2 …

A code-proving system is adapted to analyze implementation code for compliance with a at
least a specified model. The implementation code can be code that is used to provide …

A device may obtain a model. The model, when executed, may simulate a behavior of a
physical system. A user, such as, for example, an engineer, may specify a design interest for …