会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Thread synchronization by transitioning threads to spin lock and sleep state
    • 线程同步通过转换线程来旋转锁定和睡眠状态
    • US09003413B1
    • 2015-04-07
    • US12568558
    • 2009-09-28
    • Jason H. AndersonTaneem AhmedSandor S. Kalman
    • Jason H. AndersonTaneem AhmedSandor S. Kalman
    • G06F9/46H04L12/26
    • H04L12/2634G06F9/52
    • A method, apparatus, and computer readable medium for synchronizing a main thread and a slave thread executing on a processor system are disclosed. For example, the method includes the following elements: transitioning the slave thread from a sleep state to a spin-lock state in response to a wake-up message from the main thread; transitioning the slave thread out of the spin-lock state to process a first work unit from the main thread; determining, at the main thread, an elapsed time period until receipt of a second work unit for the slave thread; transitioning the slave thread to the spin-lock state if the elapsed time period satisfies a threshold time period; and transitioning the slave thread to the sleep state if the elapsed time period does not satisfy the threshold time period.
    • 公开了一种用于同步处理器系统上执行的主线程和从线程的方法,装置和计算机可读介质。 例如,该方法包括以下元件:响应于来自主线程的唤醒消息将从线程从睡眠状态转换到自旋锁定状态; 将从线程转换到自旋锁定状态以从主线程处理第一工作单元; 在所述主线程处确定直到接收到所述从线程的第二工作单元的经过时间段; 如果经过时间段满足阈值时间段,则将从线程转换到自旋锁定状态; 以及如果经过时间段不满足阈值时间段,则将从线程转换到休眠状态。
    • 4. 发明授权
    • Parallel signal routing
    • 并行信号路由
    • US08201130B1
    • 2012-06-12
    • US12939732
    • 2010-11-04
    • Sandor S. KalmanVinay VermaGitu JainTaneem AhmedSanjeev Kwatra
    • Sandor S. KalmanVinay VermaGitu JainTaneem AhmedSanjeev Kwatra
    • G06F17/50
    • G06F17/5077G06F17/5054
    • A method is provided for routing a circuit design netlist. Nets of the netlist are grouped into a plurality of sub-netlists. For each sub-netlist, nets of the sub-netlist are routed as a function of congestion between nets of the sub-netlist. Congestion between nets of other sub-netlists in the plurality of sub-netlists is not taken into account. If two or more nets of the netlist are routed through the same routing resource, a global congestion history data set is updated to describe congestion between all nets in the netlist, and the two or more nets of the netlist are unrouted. The two or more nets are each rerouted as a function of the global congestion history data set and congestion between nets of the same sub-netlist as the net.
    • 提供了一种用于布线电路设计网表的方法。 网表的网络被分组成多个子网表。 对于每个子网表,子网表的网络作为子网表的网络之间的拥塞的功能被路由。 不考虑多个子网表中其他子网表的网络之间的拥塞。 如果网表的两个或多个网络通过相同的路由资源路由,则更新全局拥塞历史数据集,以描述网表中所有网之间的拥塞,并且网表的两个或多个网是未路由的。 两个或更多个网络每个被重新路由为全局拥塞历史数据集的功能和与网络相同的子网表的网络之间的拥塞。
    • 8. 发明授权
    • Method and apparatus for testing routability
    • 用于测试可布线性的方法和装置
    • US06877040B1
    • 2005-04-05
    • US09624716
    • 2000-07-25
    • Gi-Joon NamSandor S. KalmanJason H. AndersonRajeev JayaramanSudip K. NagJennifer Zhuang
    • Gi-Joon NamSandor S. KalmanJason H. AndersonRajeev JayaramanSudip K. NagJennifer Zhuang
    • G06F15/173
    • G06F17/5077G06F17/5054
    • A method and apparatus for determining routing feasibility of a plurality of nets. Each net has an associated set of one or more routing solutions, wherein each solution specifies one or more routing resources consumed by the net. A liveness Boolean function is generated having variables that represent respective net/solution pairs. If there exists a set of values for the variables such that at least one of the variables for each net is logically true, then the liveness function is true. An exclusivity function is generated using the variables that represent the net/solution pairs. If there exists at least one set of values for the variables such that no resource is used is by more than a predetermined number of nets, then the exclusivity function is true. The nets are routable using the provided solutions if there is one set of values for the variables such that both the liveness and exclusivity functions are true.
    • 一种用于确定多个网络的路由可行性的方法和装置。 每个网络具有一组或多个路由解决方案,其中每个解决方案指定网络所消耗的一个或多个路由资源。 生成具有表示相应的净/解对对的变量的活力布尔函数。 如果存在一组变量的值,使得每个网络的至少一个变量在逻辑上为真,那么活动函数为真。 使用表示网络/解决方案对的变量生成排他性功能。 如果存在变量的至少一组值,使得没有资源被使用超过预定数量的网络,则排他性功能是真实的。 如果有一组变量的值,使用提供的解决方案,网络可以路由,以使活动和排他性功能都是真实的。