Abstract: A power intent specification specifies the desired power intent for a design of an integrated circuit, for example the states of the power domains under different conditions. Power-aware formal properties describe desired behaviors specified by the power intent specification. Falsified power-aware formal properties indicate that the design does not exhibit the desired behavior. In addition, a debug context database contains debug contexts for static-check violations resulting from power-aware static checking of the design. Static checking checks for compliance with the power intent specification based on a static structure of the design. Falsified power-aware formal properties ae matched against the static-check violations. A data structure is generated, associating debug contexts for the matching static-check violations as possible causes of the falsified power-aware formal properties.

Abstract: Examples pertaining to synchronization of one or more clients and an access point (AP) during channel switch in wireless communications are described. An apparatus acting as an AP of a wireless network transmits a channel switch announcement (CSA) on a first channel to each of one or more clients in the wireless network. The AP then performs a channel switch from the first channel to a second channel. The AP also determines whether at least a first client of the one or more clients has switched to the second channel by transmitting a unicast frame on the second channel to the first client.

Abstract: Examples pertaining to adaptive traffic indication map (TIM) setup policy for client devices in power-save mode in a dense environment are provided. An apparatus may determine an amount of available time for access to a transmission medium. The apparatus (e.g., access point) may select a subset of one or more communication devices from a plurality of communication devices (e.g., client devices) associated with the apparatus based at least in part on the amount of available time. The apparatus may also signal to the selected subset of the one or more communication devices to cause the one or more communication devices to switch from a first mode to a second mode. The apparatus may further transmit buffered data to at least one communication device of the subset of one or more communication devices during the available time.

Abstract: Examples pertaining to adaptive traffic indication map (TIM) setup policy for client devices in power-save mode in a dense environment are provided. An apparatus may determine an amount of available time for access to a transmission medium. The apparatus (e.g., access point) may select a subset of one or more communication devices from a plurality of communication devices (e.g., client devices) associated with the apparatus based at least in part on the amount of available time. The apparatus may also signal to the selected subset of the one or more communication devices to cause the one or more communication devices to switch from a first mode to a second mode. The apparatus may further transmit buffered data to at least one communication device of the subset of one or more communication devices during the available time.