会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明授权
    • Method for verifying protocol conformance of an electrical interface
    • 验证电接口协议一致性的方法
    • US5966306A
    • 1999-10-12
    • US888588
    • 1997-07-07
    • Mark H. NodineHarold M. MartinAnhtu Nguyen
    • Mark H. NodineHarold M. MartinAnhtu Nguyen
    • G06F11/267H04L1/24G06F19/00G06G7/48
    • G06F11/221H04L1/24
    • A method and technique for verifying bus protocol in the design of integrated circuits. A correctness evaluator receives simulation results from a monitor file and prediction information generated from protocol templates. The correctness evaluator operates according to a "clean bus" theory that an error includes those events not specified by the circuit specification, including spurious transitions. Protocol templates define the elements within the circuit, and are provided to a prediction generator which creates a prediction file. The correctness evaluator compares a simulation monitor file to the prediction file, and outputs a pass or fail result. The present invention offers a flexible method to separate protocol-defined timing constraints from implementation-dependent timing constraints. The present invention allows input from a test program to tailor bus signal change predictions and verify that the test program performs as it is programmed to perform.
    • 一种在集成电路设计中验证总线协议的方法和技术。 正确性评估器从监视文件接收模拟结果和从协议模板生成的预测信息。 正确性评估器根据“清洁总线”理论进行操作,误差包括电路规范未规定的那些事件,包括虚假转换。 协议模板定义电路内的元素,并提供给创建预测文件的预测生成器。 正确性评估者将模拟监视文件与预测文件进行比较,并输出通过或失败结果。 本发明提供了一种灵活的方法,用于将协议定义的定时约束与实现相关的时序约束分开。 本发明允许来自测试程序的输入来定制总线信号改变预测,并且验证测试程序按其编程执行的方式执行。
    • 5. 发明授权
    • Network message processing using inverse pattern matching
    • 使用逆模式匹配的网络消息处理
    • US07240041B2
    • 2007-07-03
    • US10721196
    • 2003-11-25
    • Harold M. MartinCarlos A. GreavesThang Q. NguyenJose M. Nunez
    • Harold M. MartinCarlos A. GreavesThang Q. NguyenJose M. Nunez
    • G06F17/00G06N5/02
    • H04L47/10H04L45/745H04L47/2441
    • Hashing and pattern matching are used in an information processing system to process incoming messages from a network such as an Ethernet-based network. Using hashing and pattern matching increases the efficiency of message acceptance and rejection without increasing software-based processor tasks. A hash function and a pattern matching function are performed on a message received by an information processing system, and the message is selectively accepted based on at least one of a hash result and a pattern matching result. The incoming message can be searched for the existence of patterns and the absence of the patterns. The incoming message can be searched for the existence of multiple patterns. The results of pattern matching can be used not only for acceptance and rejection of messages, but also for other post-receipt tasks such as selective storage of incoming messages according to identified relative priorities or absolute criticality of messages having particular pattern matches.
    • 在信息处理系统中使用散列和模式匹配来处理来自诸如以太网的网络之类的网络的传入消息。 使用散列和模式匹配增加了消息接受和拒绝的效率,而不增加基于软件的处理器任务。 对由信息处理系统接收到的消息执行散列函数和模式匹配功能,并且基于散列结果和模式匹配结果中的至少一个选择性地接受该消息。 可以搜索传入的消息中的模式的存在和模式的缺失。 可以搜索输入的消息以存在多个模式。 模式匹配的结果不仅可以用于消息的接受和拒绝,而且可以用于其他后接收任务,例如根据所识别的相对优先级或具有特定模式匹配的消息的绝对关键性选择性地存储传入消息。
    • 7. 发明授权
    • Network message filtering using hashing and pattern matching
    • 使用散列和模式匹配的网络消息过滤
    • US07613775B2
    • 2009-11-03
    • US10721201
    • 2003-11-25
    • Carlos A. GreavesHarold M. MartinThang Q. NguyenJose M. Nunez
    • Carlos A. GreavesHarold M. MartinThang Q. NguyenJose M. Nunez
    • G06F15/16G06N5/02
    • H04L49/351H04L49/201H04L49/3018
    • Hashing and pattern matching are used in an information processing system to process incoming messages from a network such as an Ethernet-based network. Using hashing and pattern matching increases the efficiency of message acceptance and rejection without increasing software-based processor tasks. A hash function and a pattern matching function are performed on a message received by an information processing system, and the message is selectively accepted based on at least one of a hash result and a pattern matching result. The incoming message can be searched for the existence of patterns and the absence of the patterns. The incoming message can be searched for the existence of multiple patterns. The results of pattern matching can be used not only for acceptance and rejection of messages, but also for other post-receipt tasks such as selective storage of incoming messages according to identified relative priorities or absolute criticality of messages having particular pattern matches.
    • 在信息处理系统中使用散列和模式匹配来处理来自诸如以太网的网络之类的网络的传入消息。 使用散列和模式匹配增加了消息接受和拒绝的效率,而不增加基于软件的处理器任务。 对由信息处理系统接收到的消息执行散列函数和模式匹配功能,并且基于散列结果和模式匹配结果中的至少一个选择性地接受该消息。 可以搜索传入的消息中的模式的存在和模式的缺失。 可以搜索输入的消息以存在多个模式。 模式匹配的结果不仅可以用于消息的接受和拒绝,而且可以用于其他后接收任务,例如根据所识别的相对优先级或具有特定模式匹配的消息的绝对关键性选择性地存储传入消息。