CN101221596A - 基于图示符的处理系统及处理基于图示符的数据的方法 - Google Patents
基于图示符的处理系统及处理基于图示符的数据的方法 Download PDFInfo
- Publication number
- CN101221596A CN101221596A CNA2008100022734A CN200810002273A CN101221596A CN 101221596 A CN101221596 A CN 101221596A CN A2008100022734 A CNA2008100022734 A CN A2008100022734A CN 200810002273 A CN200810002273 A CN 200810002273A CN 101221596 A CN101221596 A CN 101221596A
- Authority
- CN
- China
- Prior art keywords
- graphic character
- serialization
- interval
- design data
- dummy string
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
- G06F30/3323—Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/39—Circuit design at the physical level
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2119/00—Details relating to the type or aim of the analysis or the optimisation
- G06F2119/18—Manufacturability analysis or optimisation for manufacturability
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
- Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
- Y02P90/02—Total factory control, e.g. smart factories, flexible manufacturing systems [FMS] or integrated manufacturing systems [IMS]
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Abstract
Description
Claims (14)
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US11/621,383 | 2007-01-09 | ||
US11/621,383 US7823094B2 (en) | 2007-01-09 | 2007-01-09 | Pseudo-string based pattern recognition in L3GO designs |
Publications (2)
Publication Number | Publication Date |
---|---|
CN101221596A true CN101221596A (zh) | 2008-07-16 |
CN101221596B CN101221596B (zh) | 2011-02-02 |
Family
ID=39593884
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN2008100022734A Expired - Fee Related CN101221596B (zh) | 2007-01-09 | 2008-01-08 | 基于图示符的处理系统及处理基于图示符的数据的方法 |
Country Status (2)
Country | Link |
---|---|
US (1) | US7823094B2 (zh) |
CN (1) | CN101221596B (zh) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP5241832B2 (ja) * | 2007-06-27 | 2013-07-17 | ドルビー ラボラトリーズ ライセンシング コーポレイション | マルチメディアコンテンツの特定のためのシグネチャポインターを含む検索ツリーのインクレメンタル構造 |
US8266571B2 (en) * | 2008-06-10 | 2012-09-11 | Oasis Tooling, Inc. | Methods and devices for independent evaluation of cell integrity, changes and origin in chip design for production workflow |
EP2718860A4 (en) | 2011-06-10 | 2015-03-04 | Oasis Tooling Inc | INTELLECTUAL PROPERTY IDENTIFICATION OF HIERARCHICAL CHIP DESIGN BY SUMMARY |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6473881B1 (en) | 2000-10-31 | 2002-10-29 | International Business Machines Corporation | Pattern-matching for transistor level netlists |
-
2007
- 2007-01-09 US US11/621,383 patent/US7823094B2/en not_active Expired - Fee Related
-
2008
- 2008-01-08 CN CN2008100022734A patent/CN101221596B/zh not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
CN101221596B (zh) | 2011-02-02 |
US7823094B2 (en) | 2010-10-26 |
US20080165192A1 (en) | 2008-07-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN101075249A (zh) | 一种地理信息系统的数据仓库系统及其构建方法 | |
CN107391675A (zh) | 用于生成结构化信息的方法和装置 | |
US20220157167A1 (en) | System for offsite navigation | |
CN106599001A (zh) | 网页内容获取方法和系统 | |
Chan et al. | QUAD: Quadratic-bound-based kernel density visualization | |
CN101221596B (zh) | 基于图示符的处理系统及处理基于图示符的数据的方法 | |
US20060026157A1 (en) | Methods, apparatus and computer programs for evaluating and using a resilient data representation | |
Liu et al. | Moving block sequence and organizational evolutionary algorithm for general floorplanning with arbitrarily shaped rectilinear blocks | |
Seshadhri et al. | Scalable subgraph counting: The methods behind the madness | |
Haroune-Belkacem et al. | SMCA: An efficient SOAP messages compression and aggregation technique for improving web services performance | |
CN115525918B (zh) | 一种无纸化办公用文件的加密方法和系统 | |
US20200242351A1 (en) | Efficient handling of digital map data differences | |
Bader | Massive graph analytics | |
Gudmundsson et al. | Cubic upper and lower bounds for subtrajectory clustering under the continuous Fréchet distance∗ | |
CN115801024A (zh) | 局部等距性优化球面格网的编码方法、系统、装置及介质 | |
Bento et al. | Full characterization of a class of graphs tailored for software watermarking | |
Thiemann et al. | A scalable approach for generalization of land cover data | |
CN114037828A (zh) | 组件识别方法、装置、电子设备及存储介质 | |
Rodríguez-Díaz et al. | Refined fixed double pass binary object classification for document image compression | |
Yang et al. | GridMesa: A NoSQL-based big spatial data management system with an adaptive grid approximation model | |
CN118038025B (zh) | 基于频率域和空间域的雾天目标检测方法、装置以及设备 | |
Huang et al. | Spatial inference and similarity retrieval of an intelligent image database system based on object's spanning representation | |
Hu et al. | A Dual Watermarking Algorithm for Trajectory Data Based on Robust Watermarking and Fragile Watermarking | |
CN117389746B (zh) | 一种基于bim的行人仿真建筑空间解析方法 | |
CN114764858B (zh) | 一种复制粘贴图像识别方法、装置、计算机设备及存储介质 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
TR01 | Transfer of patent right |
Effective date of registration: 20171122 Address after: Grand Cayman, Cayman Islands Patentee after: GLOBALFOUNDRIES INC. Address before: American New York Patentee before: Core USA second LLC Effective date of registration: 20171122 Address after: American New York Patentee after: Core USA second LLC Address before: American New York Patentee before: International Business Machines Corp. |
|
TR01 | Transfer of patent right | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20110202 Termination date: 20190108 |
|
CF01 | Termination of patent right due to non-payment of annual fee |