会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 52. 发明授权
    • Pattern-matching for transistor level netlists
    • 晶体管级网表的模式匹配
    • US06473881B1
    • 2002-10-29
    • US09702313
    • 2000-10-31
    • Valerie D. LehnerJohn M. CohnUlrich A. Finkler
    • Valerie D. LehnerJohn M. CohnUlrich A. Finkler
    • G06F1750
    • G06F17/5068
    • A single pattern-matching algorithm which allows both exact and inexact pattern-matching so that transistor-level design automation tools can reliably perform timing analysis, electrical rules checking, noise analysis, test pattern generation, formal design verification, and the like prior to manufacturing custom logic. The user (circuit designer) specifies which of each of the pattern external nets may be matched inexactly (attached to Vdd, attached to GND, and shorted to other external nets), with the remainder of the pattern external net connections being matched using exact isomorphism constraints. The method described herein achieves a substantial reduction in the number of patterns which circuit designers must generate, and altogether eliminates the need for an exponential number of patterns by providing an inexact pattern matcher to circuit designers. It further provides rooted sub-graph isomorphism so that a user can query whether a particular pattern is embedded at a particular location in the main circuit design, utilizing inexact sub-graph isomorphism
    • 单一模式匹配算法,允许精确和不精确的模式匹配,以便晶体管级设计自动化工具可以在制造之前可靠地执行时序分析,电气规则检查,噪声分析,测试模式生成,正式设计验证等 定制逻辑。 用户(电路设计者)指定每个模式外部网络中的哪一个可以精确匹配(附加到Vdd,连接到GND,并与其他外部网络短接),其余模式外部网络连接使用精确同构 约束。 本文描述的方法实现了电路设计者必须生成的图案数量的显着减少,并且通过向电路设计者提供不精确的图案匹配器,完全不需要指数数目的图案。 它还提供了根系的子图同构,使得用户可以在主电路设计中的特定位置查询特定模式是否被嵌入,利用不精确的子图同构