Abstract: Methods and systems for providing concise data for analyzing checker completeness, in the context of formal verification analysis of circuit designs. The methods and systems concisely report information useful to a human user (e.g., circuit designer or verification engineer) for efficiently determining what manual action should be taken next to resolve holes in verification coverage. The reported information can include lists of signals on which checkers can be written, which lists can be ranked, can be limited to a subset of interest signals, and can include corresponding cover items for each reported interest signal. The present systems and methods thereby improve on reporting provided to the user, permitting the user to more quickly advance a formal verification process toward full coverage of the relevant portions of a circuit design.

Abstract: A computer-implemented technique is described herein for receiving activity signals from plural logic components running on one or more computing devices. Each activity signal includes an activity information item (AII) that describes an activity performed by a subject (e.g., a user), or to be performed by the subject, as recorded by a logic component. The technique stores AIIs extracted from the activity signals in a graph data structure. The technique then: determines, by interrogating the graph data structure, one or more activity clusters within a span of time, each activity cluster pertaining to a group of AIIs associated with a same encompassing project; generates one or more summary documents based on the identified activity cluster(s); and sends the summary documents to an output device.

Abstract: A computer-implemented technique is described herein for detecting work-related visits. The technique includes receiving movement data from one or more movement-sensing mechanisms associated with a local computing device carried by a user. The technique further includes: determining, using a state machine, and based on the movement data, that a user has commenced a candidate visit, the candidate visit being described by visit data; determining, using the state machine, and based on the movement data, that the user has completed the candidate visit; and determining, using a context-determining component, and based on the visit data, whether the candidate visit corresponds to a work-related visit for which work has been completed. The technique further includes mechanisms that allow the user to add a content item to the visit data of an ongoing visit, prevent private data from leaving the local computing device, and efficiently consume power of the local computing device.

Abstract: A computer-implemented technique is described herein for receiving activity signals from plural logic components running on one or more computing devices. Each activity signal includes an activity information item (AII) that describes an activity performed by a subject (e.g., a user), or to be performed by the subject, as recorded by a logic component. The technique stores AIIs extracted from the activity signals in a graph data structure. The technique then: determines, by interrogating the graph data structure, one or more activity clusters within a span of time, each activity cluster pertaining to a group of AIIs associated with a same encompassing project; generates one or more summary documents based on the identified activity cluster(s); and sends the summary documents to an output device.

Abstract: A computer-implemented technique is described herein for detecting work-related visits. The technique includes receiving movement data from one or more movement-sensing mechanisms associated with a local computing device carried by a user. The technique further includes: determining, using a state machine, and based on the movement data, that a user has commenced a candidate visit, the candidate visit being described by visit data; determining, using the state machine, and based on the movement data, that the user has completed the candidate visit; and determining, using a context-determining component, and based on the visit data, whether the candidate visit corresponds to a work-related visit for which work has been completed. The technique further includes mechanisms that allow the user to add a content item to the visit data of an ongoing visit, prevent private data from leaving the local computing device, and efficiently consume power of the local computing device.

Abstract: The present disclosure relates to a method for electronic design verification. Embodiments may include receiving, using at least one processor, an electronic design and automatically identifying one or more code coverage points from a netlist of an original model associated with the electronic design. Embodiments may include receiving a property and one or more elements, each of the one or more elements corresponding to one of the one or more code coverage points. Embodiments may further include performing model checking based upon, at least in part, the property and the one or more elements. Embodiments may also include verifying the property and generating an unsatisfiability core based upon, at least in part, the one or more elements.

Abstract: A device transmits a first advertisement to a client device of a user; updates an indicator, associated with the user, to indicate that the device transmitted the first advertisement to the client device; and receives a request from a user device of the user. The request includes an identifier associated with the user. The device further determines, based on the identifier, that the user of the user device is also the user of the client device; determines, based on the identifier and the indicator, that the device transmitted the first advertisement to the client device; selects a second advertisement for the user device based on the request; and transmits the second advertisement to the user device. The first advertisement and the second advertisement advertise a particular item.