Abstract: The present invention is directed to new stable immediate release tablet and capsule formulations for the Janus Kinase 3 (JAK3) inhibitor 1-((2S,5R)-5-((7H-pyrrolo[2,3-d]pyrimidin-4-yl)amino)-2-methylpiperidin-1-yl)prop-2-en-1-one para-toluenesulfonate having structure

Abstract: Aspects of the present disclosure relate to a unified activity service. In one aspect, different files stored on different storage platforms may be rendered on different user interfaces. Multiple activities associated with each of the different files may be obtained from the activity service. In another aspect, activity metadata corresponding to the multiple activities may be stored in the activity service. Activities associated with the different files may include content changes in a file (e.g., edits and deletions), sharing a file, renaming a file, comments within a file, messaging, and conversations related to a file. The different storage platforms may be independent of the activity service.

Abstract: Electronic system level (ESL) design and verification of the present disclosure is utilized to provide an electronic simulation and modeling of function safety and fault management of an electronic device. A method for simulating a safety circuit includes providing an electronic architectural design to perform one or more functional behaviors of the electronic device in accordance with an electronic design specification. The method further includes modeling the safety circuit of the electronic architectural design and one or more other electronic circuits of the electronic architectural design that communicate with the safety circuit. The method further includes simulating, using the modeling, operation of the safety circuit while the electronic architectural design is performing the one or more functional behaviors. The method also includes determining whether the simulated operation of the safety circuit satisfies the electronic design specification.

Abstract: A device for power estimation is disclosed. The device includes a transformer circuit coupled with a processing circuit and a transaction interface. The transformer circuit is configured to count performance activities executed in the processing circuit and to compare count values of the performance activities with a predetermined value to determine a power state of the processing circuit. The transaction interface is configured to receive a request from the processing circuit and record a first timestamp, and further configured to receive a response from a memory model and record a second timestamp, the transaction interface being further configured to record a time difference between the first timestamp and the second timestamp as a time difference. The transformer circuit is further configured to determine the power state of the processing circuit based on both of the count values and the time difference.

Abstract: A computer system tracks and analyzes activity data, notifications, and user interactions with activity data and notifications. By analyzing this information, the computer system can identify, for individual users and across a set of users, which activity data and notifications are most relevant. Such activity data and notifications are most relevant when they result in the end user having further user interaction through the electronic document. The information about the relevance of the activity data and notifications can be used for managing sending of notifications and presenting activity data in end user applications.

Abstract: Electronic system level (ESL) design and verification of the present disclosure is utilized to provide an electronic simulation and modeling of function safety and fault management of an electronic device. A method for simulating a safety circuit includes providing an electronic architectural design to perform one or more functional behaviors of the electronic device in accordance with an electronic design specification. The method further includes modeling the safety circuit of the electronic architectural design and one or more other electronic circuits of the electronic architectural design that communicate with the safety circuit. The method further includes simulating, using the modeling, operation of the safety circuit while the electronic architectural design is performing the one or more functional behaviors. The method also includes determining whether the simulated operation of the safety circuit satisfies the electronic design specification.

Abstract: Electronic system level (ESL) design and verification of the present disclosure is utilized to provide an electronic simulation and modeling of function safety and fault management of an electronic device. A method for simulating a safety circuit includes providing an electronic architectural design to perform one or more functional behaviors of the electronic device in accordance with an electronic design specification. The method further includes modeling the safety circuit of the electronic architectural design and one or more other electronic circuits of the electronic architectural design that communicate with the safety circuit. The method further includes simulating, using the modeling, operation of the safety circuit while the electronic architectural design is performing the one or more functional behaviors. The method also includes determining whether the simulated operation of the safety circuit satisfies the electronic design specification.

Abstract: A method is disclosed that includes providing an IP bank, an application bank, and a technology bank; generating a hierarchical table based on the IP bank and the application bank; performing an estimation of at least one of a performance value, a power value, an area value and a cost value, which corresponds to the hierarchical table, by using the technology bank, to output an result data as a basis of fabrication of a system.

Abstract: A device for power estimation is disclosed. The device includes a transformer circuit coupled with a processing circuit and a transaction interface. The transformer circuit is configured to count performance activities executed in the processing circuit and to compare count values of the performance activities with a pre-determined value to determine a power state of the processing circuit. The transaction interface is configured to receive a request from the processing circuit and record a first timestamp, and further configured to receive a response from a memory model and record a second timestamp, the transaction interface being further configured to record a time difference between the first timestamp and the second timestamp as a time difference. The transformer circuit is further configured to determine the power state of the processing circuit based on both of the count values and the time difference.

Abstract: Aspects of the present disclosure relate to a unified activity service. In one aspect, different files stored on different storage platforms may be rendered on different user interfaces. Multiple activities associated with each of the different files may be obtained from the activity service. In another aspect, activity metadata corresponding to the multiple activities may be stored in the activity service. Activities associated with the different files may include content changes in a file (e.g., edits and deletions), sharing a file, renaming a file, comments within a file, messaging, and conversations related to a file. The different storage platforms may be independent of the activity service.

Abstract: Aspects of the present disclosure relate to an activity notification system. In one aspect, one or more entities associated with a user of a file may be identified. A priority level may be assigned to each of the one or more entities based on a type of activity of one or more activities associated with the file. The priority level may include at least a highest priority level and a lowest priority level. A notification indicating an occurrence of at least one activity from the one or more activities associated with the file may be sent to the entity of the one or more identified entities assigned the highest priority level. It may be determined which activities of one or more activities received at a notification service meet a notification value threshold. At least one notification from the activities determined to meet the notification value threshold may be generated.

Abstract: Aspects of the present disclosure relate to a unified activity service. In one aspect, different files stored on different storage platforms may be rendered on different user interfaces. Multiple activities associated with each of the different files may be obtained from the activity service. In another aspect, activity metadata corresponding to the multiple activities may be stored in the activity service. Activities associated with the different files may include content changes in a file (e.g., edits and deletions), sharing a file, renaming a file, comments within a file, messaging, and conversations related to a file. The different storage platforms may be independent of the activity service.

Abstract: A power state transformer, a system and a method thereof are disclosed. The power state transformer is coupled with a processing unit model. The power state transformer is configured for counting performance activities executed in the processing unit model, and further for determining a power state of the processing unit model according to count values of the performance activities.

Abstract: Aspects of the present disclosure relate to systems and methods for creating a file activity feed for display on a user interface of a client computing device. In one aspect, data comprising a plurality of activities associated with a file may be obtained. A timestamp associated with a user identity of the file may be identified. One or more missed activities (e.g., those that occurred since a user was away from the file) may be identified from the plurality of activities based on the identified timestamp. It may be determined which missed activities of the one or more missed activities are relevant to a user associated with the user identity. The one or more missed activities determined to be relevant to the user associated with the user identity may be displayed within the file activity feed on the user interface of the client computing device.

Abstract: Electronic system level (ESL) design and verification of the present disclosure is utilized to provide an electronic simulation and modeling of function safety and fault management of an electronic device. A method for simulating a safety circuit includes providing an electronic architectural design to perform one or more functional behaviors of the electronic device in accordance with an electronic design specification. The method further includes modeling the safety circuit of the electronic architectural design and one or more other electronic circuits of the electronic architectural design that communicate with the safety circuit. The method further includes simulating, using the modeling, operation of the safety circuit while the electronic architectural design is performing the one or more functional behaviors. The method also includes determining whether the simulated operation of the safety circuit satisfies the electronic design specification.

Abstract: A method of estimating power consumption for a system on chip (SOC) includes simulating operation of a first sub-block to obtain power consumption information for the first sub-block including first activation information for a first IP block. The method further includes simulating operation of a second sub-block to obtain power consumption information for the second sub-block including second activation information for the first IP block and activation information for a plurality of second IP blocks. The method further includes determining a weighting factor for the first activation information for the first IP block, the second activation information for the first IP block and the activation information for each second IP block. The method further includes estimating power consumption for the SOC based on the first and second activation information for the first IP block, the activation information for at least one second IP block, and corresponding weighting factors.

Abstract: A computer system tracks and analyzes activity data, notifications, and user interactions with activity data and notifications. By analyzing this information, the computer system can identify, for individual users and across a set of users, which activity data and notifications are most relevant. Such activity data and notifications are most relevant when they result in the end user having further user interaction through the electronic document. The information about the relevance of the activity data and notifications can be used for managing sending of notifications and presenting activity data in end user applications.

Abstract: A power state transformer, a system and a method thereof are disclosed. The power state transformer is coupled with a processing unit model. The power state transformer is configured for counting performance activities executed in the processing unit model, and further for determining a power state of the processing unit model according to count values of the performance activities.

Abstract: A method of estimating power consumption for a system on chip (SOC) includes simulating operation of a first sub-block to obtain power consumption information for the first sub-block including first activation information for a first IP block. The method further includes simulating operation of a second sub-block to obtain power consumption information for the second sub-block including second activation information for the first IP block and activation information for a plurality of second IP blocks. The method further includes determining a weighting factor for the first activation information for the first IP block, the second activation information for the first IP block and the activation information for each second IP block. The method further includes estimating power consumption for the SOC based on the first and second activation information for the first IP block, the activation information for at least one second IP block, and corresponding weighting factors.

Abstract: Aspects of the present disclosure relate to an activity notification system. In one aspect, one or more entities associated with a user of a file may be identified. A priority level may be assigned to each of the one or more entities based on a type of activity of one or more activities associated with the file. The priority level may include at least a highest priority level and a lowest priority level. A notification indicating an occurrence of at least one activity from the one or more activities associated with the file may be sent to the entity of the one or more identified entities assigned the highest priority level. It may be determined which activities of one or more activities received at a notification service meet a notification value threshold. At least one notification from the activities determined to meet the notification value threshold may be generated.