Abstract: Methods and systems for controlling window arrangements for tabbed user interface elements. An example method includes displaying a plurality of application windows including at least one application window for a web browser application having multiple open tabs, the multiple open tabs including at least one active tab and multiple inactive tabs, receiving an input to invoke a snap assist mode; in response to the input, display a snap assist user interface to reconfigure the display of one or more the plurality of the application windows, the snap assist user interface including tab representations and an application-window representation. In response to receiving a selection of a tab representation, a web browser application window is displayed with the corresponding tab as the active tab.

Abstract: A method for modeling a field-programmable gate array (FPGA) for an emulator includes performing a validation process on an FPGA design to determine whether an FPGA emulator is able to emulate at least one component in the FPGA design; responsive to the FPGA emulator being unable to emulate the at least one component in the FPGA design, modifying the FPGA design by replacing the at least one component with at least one replacement component; executing a first simulation of the FPGA design to generate a first output; executing a second simulation of the modified FPGA design to generate a second output; and determining, with reference to the first output and the second output, that the FPGA design and the modified FPGA design are functionally equivalent.

Abstract: A system includes a library of elements to create a model describing a waveform parameter technique. A constraint checker verifies that the created model is correct by construction by needing no verification after compilation. The constraint checker also implements a valid programmable device build according to the waveform parameter technique. A placement decision module receives the verified models produces a placement decision for placing the waveform parameter technique based on the verified model in a programmable device. A synthesis tool receives the verified model from the placement decision module and synthesizes the waveform parameter technique based on the verified model. A link/loader receives the placement decision from the placement decision module and receives the synthesized technique from the synthesis tool. The link/loader also places the waveform parameter technique in the programmable device according to the placement decision.

Abstract: Embodiments of a system and method for runtime creation, assignment, deployment and updating of arbitrary radio waveform techniques for a radio waveform generation device are generally described herein. In some embodiments, a parser is arranged to parse packet data files to generate channel properties associated with at least one of a plurality of techniques. A user application may be coupled to the parser and arranged to process the channel properties into channelized waveform data according to the at least one of the plurality of techniques. A packetizer may be coupled to the user application and arranged to packetize the channelized waveform data. A digital-to-analog converter may be arranged to convert the channelized waveform data to analog RE signals representing the waveform corresponding to the at least one of the plurality of techniques.

Abstract: Embodiments of a system and method for runtime creation, assignment, deployment and updating of arbitrary radio waveform techniques for a radio waveform generation device are generally described herein. In some embodiments, a parser is arranged to parse packet data files to generate channel properties associated with at least one of a plurality of techniques. A user application may be coupled to the parser and arranged to process the channel properties into channelized waveform data according to the at least one of the plurality of techniques. A packetizer may be coupled to the user application and arranged to packetize the channelized waveform data. A digital-to-analog converter may be arranged to convert the channelized waveform data to analog RF signals representing the waveform corresponding to the at least one of the plurality of techniques.

Abstract: Embodiments of a system and method for runtime creation, assignment, deployment and updating of arbitrary radio waveform techniques for a radio waveform generation device are generally described herein. In some embodiments, a parser is arranged to parse packet data files to generate channel properties associated with at least one of a plurality of techniques. A user application may be coupled to the parser and arranged to process the channel properties into channelized waveform data according to the at least one of the plurality of techniques. A packetizer may be coupled to the user application and arranged to packetize the channelized waveform data. A digital-to-analog converter may be arranged to convert the channelized waveform data to analog RF signals representing the waveform corresponding to the at least one of the plurality of techniques.