会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Fused booth encoder multiplexer
    • 熔模展位编码器多路复用器
    • US07272624B2
    • 2007-09-18
    • US10675674
    • 2003-09-30
    • Wendy Ann BelluominiHung Cai NgoJun Sawada
    • Wendy Ann BelluominiHung Cai NgoJun Sawada
    • G06F7/52
    • G06F7/5338G06F7/483G06F7/533G06F7/5443G06F2207/3872
    • A multiplier circuit comprises a fused Booth encoder multiplexer which produces partial product bits, a tree which uses the partial product bits to generate partial products, and an adder which uses the partial products to generate intermediate sum and carry results for a multiplication operation. The fused Booth encoder multiplexer utilizes encoder-selector cells having a logic tree which carries out a Boolean function according to a Booth encoding and selection algorithm to produce one of the partial product bits at a dynamic node, and a latch connected to the dynamic node which maintains the value at an output node. The encoder-selector cells operate in parallel to produce the partial product bits generally simultaneously. A given one of the encoder-selector cells has a unique set of both multiplier operand inputs and multiplicand operand inputs, and produces a single partial product bit.
    • 乘法器电路包括产生部分乘积比特的融合布尔编码器多路复用器,使用部分积比特产生部分乘积的树,以及使用部分乘积来生成中间和并携带乘法运算结果的加法器。 融合布尔编码器多路复用器利用具有逻辑树的编码器选择器单元,该逻辑树根据布斯编码和选择算法执行布尔函数,以在动态节点处产生部分乘积比特中的一个,以及连接到动态节点的锁存器, 在输出节点维护该值。 编码器选择器单元并行操作以通常同时产生部分乘积位。 编码器选择器单元中的一个具有唯一的乘法器操作数输入和被乘数操作数输入的集合,并且产生单个部分乘积位。
    • 2. 发明授权
    • Fused booth encoder multiplexer
    • 熔模展位编码器多路复用器
    • US09274751B2
    • 2016-03-01
    • US11776454
    • 2007-07-11
    • Wendy Ann BelluominiHung Cai NgoJun Sawada
    • Wendy Ann BelluominiHung Cai NgoJun Sawada
    • G06F7/533G06F7/483G06F7/544
    • G06F7/5338G06F7/483G06F7/533G06F7/5443G06F2207/3872
    • A multiplier circuit comprises a fused Booth encoder multiplexer which produces partial product bits, a tree which uses the partial product bits to generate partial products, and an adder which uses the partial products to generate intermediate sum and carry results for a multiplication operation. The fused Booth encoder multiplexer utilizes encoder-selector cells having a logic tree which carries out a Boolean function according to a Booth encoding and selection algorithm to produce one of the partial product bits at a dynamic node, and a latch connected to the dynamic node which maintains the value at an output node. The encoder-selector cells operate in parallel to produce the partial product bits generally simultaneously. A given one of the encoder-selector cells has a unique set of both multiplier operand inputs and multiplicand operand inputs, and produces a single partial product bit.
    • 乘法器电路包括产生部分乘积比特的融合布尔编码器多路复用器,使用部分积比特产生部分乘积的树,以及使用部分乘积来生成中间和并携带乘法运算结果的加法器。 融合布尔编码器多路复用器利用具有逻辑树的编码器选择器单元,该逻辑树根据布斯编码和选择算法执行布尔函数,以在动态节点处产生部分乘积比特中的一个,以及连接到动态节点的锁存器, 在输出节点维护该值。 编码器选择器单元并行操作以通常同时产生部分乘积位。 编码器选择器单元中的一个具有唯一的乘法器操作数输入和被乘数操作数输入的集合,并且产生单个部分乘积位。
    • 3. 发明授权
    • Fused booth encoder multiplexer
    • 熔模展位编码器多路复用器
    • US08229992B2
    • 2012-07-24
    • US11670357
    • 2007-02-01
    • Wendy Ann BelluominiHung Cai NgoJun Sawada
    • Wendy Ann BelluominiHung Cai NgoJun Sawada
    • G06F7/52
    • G06F7/5338G06F7/483G06F7/533G06F7/5443G06F2207/3872
    • A multiplier circuit comprises a fused Booth encoder multiplexer which produces partial product bits, a tree which uses the partial product bits to generate partial products, and an adder which uses the partial products to generate intermediate sum and carry results for a multiplication operation. The fused Booth encoder multiplexer utilizes encoder-selector cells having a logic tree which carries out a Boolean function according to a Booth encoding and selection algorithm to produce one of the partial product bits at a dynamic node, and a latch connected to the dynamic node which maintains the value at an output node. The encoder-selector cells operate in parallel to produce the partial product bits generally simultaneously. A given one of the encoder-selector cells has a unique set of both multiplier operand inputs and multiplicand operand inputs, and produces a single partial product bit.
    • 乘法器电路包括产生部分乘积比特的融合布尔编码器多路复用器,使用部分积比特产生部分乘积的树,以及使用部分乘积来生成中间和并携带乘法运算结果的加法器。 融合布尔编码器多路复用器利用具有逻辑树的编码器选择器单元,该逻辑树根据布斯编码和选择算法执行布尔函数,以在动态节点处产生部分乘积比特中的一个,以及连接到动态节点的锁存器, 在输出节点维护该值。 编码器选择器单元并行操作以通常同时产生部分乘积位。 编码器选择器单元中的一个具有唯一的乘法器操作数输入和被乘数操作数输入的集合,并且产生单个部分乘积位。
    • 4. 发明申请
    • VERIFYING THE ERROR BOUND OF NUMERICAL COMPUTATION IMPLEMENTED IN COMPUTER SYSTEMS
    • 验证计算机系统中实现的数值计算的误差
    • US20110264990A1
    • 2011-10-27
    • US12766163
    • 2010-04-23
    • Jun Sawada
    • Jun Sawada
    • G06F11/07
    • G06F11/3608
    • A verification tool receives a finite precision definition for an approximation of an infinite precision numerical function implemented in a processor in the form of a polynomial of bounded functions. The verification tool receives a domain for verifying outputs of segments associated with the infinite precision numerical function. The verification tool splits the domain into at least two segments, wherein each segment is non-overlapping with any other segment and converts, for each segment, a polynomial of bounded functions for the segment to a simplified formula comprising a polynomial, an inequality, and a constant for a selected segment. The verification tool calculates upper bounds of the polynomial for the at least two segments, beginning with the selected segment and reports the segments that violate a bounding condition.
    • 验证工具接收有限精度定义,用于以有界函数的多项式的形式在处理器中实现的无限精度数值函数的近似。 验证工具接收用于验证与无限精度数值函数相关联的段的输出的域。 验证工具将域分成至少两个段,其中每个段与任何其他段不重叠,并且对于每个段将用于该段的有界函数的多项式转换为包括多项式,不等式和 所选段的常数。 验证工具从所选择的段开始计算至少两个段的多项式的上限,并报告违反边界条件的段。
    • 6. 发明申请
    • Replaceable sequenced one-time pads for detection of cloned service client
    • 可替换的顺序一次性检测克隆服务客户端
    • US20050239440A1
    • 2005-10-27
    • US10829571
    • 2004-04-22
    • Yen-Fu ChenJohn Handy-BosmaJun SawadaMei SelvageKeith Walker
    • Yen-Fu ChenJohn Handy-BosmaJun SawadaMei SelvageKeith Walker
    • H04L29/06H04M1/66H04W12/12
    • H04L63/0838H04L63/0853H04W12/06H04W12/12
    • A client device authenticated a one-time pad table stored in the client device, and a matching table maintained by a service provider. When a request for service is posted from the client to the service provider, the next unused pad is exchanged and verified with the current state of the service provider's copy of the table. If the OTP is the next unused code, service is granted, else the user is challenged to identify himself, which when successfully completed results in the client device being downloaded with a new OTP table, replacing the compromised table. Use of service by a cloned device causes the OTP table at the service provider to become out of synchronization with the authentic device's copy of the table, thereby setting up the ability to detect the fraud, stop the service consumption by the clone, and reprogram the authentic device to allow for uninterrupted service.
    • 客户端设备认证存储在客户端设备中的一次性填充表,以及由服务提供商维护的匹配表。 当从客户端向服务提供商发布服务请求时,下一个未使用的邮箱将与服务提供商的表副本的当前状态进行交换和验证。 如果OTP是下一个未使用的代码,则授予服务,否则用户将面临挑战,即自己识别,当成功完成导致客户端设备正在使用新的OTP表进行下载时,替换受损表。 使用克隆设备的服务会导致服务提供商的OTP表与正版设备的表副本不同步,从而设置检测到欺诈的能力,停止克隆的服务消耗,并重新编程 真实的设备,允许不间断的服务。
    • 7. 发明授权
    • Verifying data intensive state transition machines related application
    • 验证数据密集型状态转换机相关应用
    • US08756543B2
    • 2014-06-17
    • US13097171
    • 2011-04-29
    • Viresh ParuthiPeter Anthony SandonJun Sawada
    • Viresh ParuthiPeter Anthony SandonJun Sawada
    • G06F9/455G06F17/50
    • G06F17/504G06F9/4498G06F17/5022
    • A method, system, and computer program product for verification of a state transition machine (STM) are provided in the illustrative embodiments. The STM representing the operation of a circuit configured to perform a computation is received. A segment of the STM is selected from a set of segments of the STM. A set of properties of the segment is determined. The set of properties is translated into a hardware description to form a translation. The segment is verified by verifying whether all relationships between a pre-condition and a post condition in the translation hold true for any set of inputs and any initial state of a hardware design under test. A verification result for the segment is generated. Verification results for each segment in the set of segments are combined to generate a verification result for the STM.
    • 在说明性实施例中提供了用于验证状态转换机(STM)的方法,系统和计算机程序产品。 接收表示被配置为执行计算的电路的操作的STM。 从STM的一组段中选择STM的一段。 确定该段的一组属性。 该属性集被翻译成硬件描述以形成一个翻译。 通过验证翻译中的前提条件和后期条件之间的所有关系是否适用于任何一组输入以及所测试的硬件设计的任何初始状态来验证该段。 生成段的验证结果。 组合段中每个段的验证结果,以生成STM的验证结果。
    • 8. 发明授权
    • Process for machining pressure detection hole and apparatus for machining pressure detection hole
    • 压力检测孔加工过程及加压检测孔加工装置
    • US08641332B2
    • 2014-02-04
    • US12942306
    • 2010-11-09
    • Kaneyoshi HiragaJun Sawada
    • Kaneyoshi HiragaJun Sawada
    • B23B35/00B23B41/00
    • B23Q17/2409Y10T408/03Y10T408/08Y10T408/21Y10T408/553Y10T408/5617
    • A pressure detection passage and a side edge of a pressure detection member are positioned for a tip of a stylus attached to a drilling device by holding the pressure detection member on a hand-operated stage and moving the pressure detection member in the X axis direction by a micrometer head of the hand-operated stage while checking an enlarged image picked up by a microscope and displayed on a monitor, and a personal computer stores positions of the side edge of the pressure detection member and the pressure detection passage which are measured by scales of the micrometer head. Subsequently, the stylus is exchanged for a drill and the drilling device is moved down by a micrometer head for moving up and down a slider, while moving in sequence in the X axis direction the hand-operated stage by operating the micrometer head of the hand-operated stage so as to reappear the position stored in the personal computer, thereby drilling in the pressure detection member pressure detection holes communicating with the respective pressure detection passages. Therefore, it is possible to improve the precision and ease of operation of drilling a pressure detection hole in a pressure detection member.
    • 通过将压力检测部件保持在手动工作台上并将压力检测部件沿X轴方向移动而将压力检测部件和压力检测部件的侧缘定位用于安装在钻孔装置上的触针的尖端, 在检查由显微镜拾取的放大图像并显示在监视器上时,手动台的千分尺头部,并且个人计算机存储压力检测构件和压力检测通道的侧面的位置,该位置由鳞片测量 的千分尺头。 随后,将触针更换为钻头,并且钻头装置通过用于在滑块上下移动的测微头向下移动,同时通过操作手指的千分尺来在X轴方向上依次移动手动操作台 以再现存储在个人计算机中的位置,从而在与各个压力检测通道连通的压力检测构件压力检测孔中钻孔。 因此,可以提高压力检测部件中的压力检测孔的钻孔的精度和操作的容易性。
    • 9. 发明授权
    • Model checking in state transition machine verification
    • 状态转换机器验证中的模型检查
    • US08397189B2
    • 2013-03-12
    • US13097193
    • 2011-04-29
    • Viresh ParuthiPeter Anthony SandonJun Sawada
    • Viresh ParuthiPeter Anthony SandonJun Sawada
    • G06F9/455
    • G06F17/504
    • A method, system, and computer program product for improved model checking for verification of a state transition machine (STM) are provided. A hardware design under test and a property to be verified are received. A level (k) of induction proof needed for the verification is determined. A circuit representation of the property using the hardware design under test for k base cases is configured for checking that the circuit representation holds true for the property for each of the k base cases, and for testing an induction without hypothesis by testing whether the property holds true after k clock cycles starting from a randomized state, where induction without hypothesis is performed by omitting a test whether the property holds true for the next cycle after the property holds for k successive cycles. The induction proof of the property using the hardware design under test by induction without hypothesis is produced.
    • 提供了一种用于改进状态转换机(STM)验证的模型检查的方法,系统和计算机程序产品。 收到被测试的硬件设计和待验证的属性。 确定验证所需的感应等级(k)。 配置用于k个基本情况的使用被测硬件设计的属性的电路表示被配置用于检查电路表示对于每个k个基本情况的属性是否成立,以及通过测试属性是否保持来测试没有假设的感应 在从随机化状态开始的k个时钟周期之后为真,其中通过省略在k个连续循环的该属性成立后的下一个周期的属性是否成立的情况下执行无假设的诱导。 产生使用通过没有假设的感应的被测硬件设计的属性的感应证明。
    • 10. 发明授权
    • Techniques for performing conditional sequential equivalence checking of an integrated circuit logic design
    • 用于执行集成电路逻辑设计的条件顺序等价性检查的技术
    • US08181134B2
    • 2012-05-15
    • US12580373
    • 2009-10-16
    • Jason R. BaumgartnerMichael L. CaseHari MonyJun Sawada
    • Jason R. BaumgartnerMichael L. CaseHari MonyJun Sawada
    • G06F17/50
    • G06F17/504
    • A technique for conditional sequential equivalence checking of logic designs embodied in netlists includes creating an equivalence-checking netlist over a first netlist and a second netlist. The conditional sequential equivalence checking includes conditions under which equivalences of the first and second netlists are checked. The technique derives a set of candidate conditional equivalence invariants for each correlated gate in a correlated gate pair set and attempts to prove that each candidate conditional equivalence invariant in the set of candidate conditional equivalence invariants is accurate. The candidate conditional equivalence invariants that cannot be proven accurate are removed from the set of candidate conditional equivalence invariants. The candidate conditional equivalence invariants that have been proven accurate are recorded as a set of conditional equivalence invariants. Finally, the conditional sequential equivalence checking of the equivalence-checking netlist is completed using the set of conditional equivalence invariants that are recorded.
    • 用于在网表中体现的逻辑设计的条件顺序等价检查的技术包括在第一网表和第二网表上创建等价检查网表。 条件顺序等价检查包括检查第一和第二网表的等价物的条件。 该技术为相关门对集合中的每个相关门导出一组候选条件等价不变量,并尝试证明候选条件等价不变量集合中的每个候选条件等价不变量是准确的。 从候选条件等价不变量集合中删除不能被证明是准确的候选条件等价不变量。 已被证明是准确的候选条件等价不变量被记录为一组条件等价不变量。 最后,使用记录的条件等价不变量集来完成等价检查网表的条件序列等价性检查。