EP1023681A1 - System for logic extraction from a layout database - Google Patents
System for logic extraction from a layout databaseInfo
- Publication number
- EP1023681A1 EP1023681A1 EP97912778A EP97912778A EP1023681A1 EP 1023681 A1 EP1023681 A1 EP 1023681A1 EP 97912778 A EP97912778 A EP 97912778A EP 97912778 A EP97912778 A EP 97912778A EP 1023681 A1 EP1023681 A1 EP 1023681A1
- Authority
- EP
- European Patent Office
- Prior art keywords
- transistors
- group
- transistor
- groups
- coupled
- 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.)
- Withdrawn
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
Definitions
- the present invention relates to automated design of integrated circuits, and more particularly to the extraction of a logic design from a layout database or a transistor level net list of a logic block.
- Integrated circuits often include complex logic blocks.
- the design and implementation of such logic blocks is a difficult and time consuming task. It is often desirable to use logic blocks which have been successfully implemented in old integrated circuits, in a new product. For example, a new product that might be more highly integrated including more functions on a single chip, or a new product made using more modern process technologies, may be desired in which a logic block implemented in an old integrated circuit could be directly applied.
- logic blocks in old integrated circuits often only exist in a physical form. Thus, there is no description of the logic implemented by the logic block at a level of sufficient detail to allow it to be readily ported to a new product or a new process technology.
- the transistor level net list is still insufficient to provide source material for porting the logic block to new process technologies in many circumstances.
- the present invention provides a system and process for logic extraction from the layout of logic blocks.
- Logic design information is extracted from a transistor level net list which is stored in a memory.
- the transistor level net list in turn is generated from a layout polygon database using techniques available in the art.
- the process comprises processing the transistor level net list in the memory to define groups of transistors according to a connection or not to a supply voltage, a connection or not to a reference voltage and the transistor type.
- the groups of transistors are analyzed according to their interconnections, and their membership in groups.
- logic units are identified in response to the step of analyzing the groups of transistors.
- the groups of transistors include a first group of transistors of a first type, such as p-channel MOS transistors, having a source node coupled to a supply voltage, such as a N DD supply voltage, a second group of transistors of the first type, such as the p-channel MOS transistors, having a source node that is not coupled to a supply voltage, a third group of transistors of a second type, such as a n-channel MOS transistor, having a source node not coupled to a reference voltage such as ground or a V ss supply voltage, and a fourth group of transistors of the second type having a source node coupled to a reference voltage.
- a first type such as p-channel MOS transistors
- the groups are analyzed by determining for at least one of said groups of transistors, respective interconnected sets of transistors for particular transistors in said one group.
- the respective sets include the particular transistor, and transistors from the first through fourth groups for which at least one of the sources and drains of the transistors in said respective sets are coupled to at least one of the sources and drains of other transistors in said respective sets.
- the logic units are identified by determining subsets of transistors in said respective sets which consist of transistors in one of said groups which share a gate terminal with a transistor in another said groups.
- the subsets of transistors are classified as logic units.
- the step of classifying includes classifying a subset as an inverter if the subset consists of one transistor from the first group, and one transistor from the fourth group.
- the step of classifying includes classifying a subset as a NAND gate having n inputs, if the subset consists of n transistors from the first group, n-1 transistor(s) from the third group and one transistor from the fourth group.
- the step of classifying includes classifying a subset as a NOR gate having n inputs, if the subset consists of one transistor from the first group, n-1 transistor(s) from the second group, and n transistors from the fourth group.
- the process according to the present invention is capable of classifying subsets of transistors as inverters, NAND gates, NOR gates and other combinational logic gates. Further processing includes classifying subsets of inverters, NAND gates and NOR gates as latches and flip-flops. Other transistors in said respective sets are classified as pass gates.
- the process results in producing a computer readable, gate level description of the logic block in response to the identified logic units. From the gate level description, high level synthesis and redesign can be implemented.
- the present invention can also be characterized as a system for extraction of a logic design information from a transistor level net list stored in memory.
- the system comprises data processing resources which process the transistor level net list in the memory to define groups of transistors in the transistor level net list.
- the groups of transistors are categorized according to connection or not to a supply voltage, connection or not to a reference voltage and the transistor type.
- the system also includes data processing resources which analyze the groups of transistors according to the interconnections in the respective groups to define interconnected sets of transistors.
- the data processing resources are included which identify logic units in response to the interconnected sets of transistors.
- the data processing resources execute the processes outlined above to produce a gate level description of the logic block defined by the transistor level net list.
- the process for extraction of a logic design information is applied to a transistor level net list for a complementary metal-oxide silicon CMOS logic block.
- the process includes processing with data processing resources the transistor level net list in the memory to define groups of transistors.
- the groups include a first group consisting of p-channel MOS transistors having source terminals coupled to a V DD supply voltage, a second group consisting of p-channel MOS transistors having source terminals not coupled to a V DD supply voltage, a third group of n- channel MOS transistors having source terminals not coupled to a V ss reference voltage, and a fourth group consisting of n-channel MOS transistors having source terminals coupled to a N ss reference voltage.
- the process includes determining for at least one of said groups, such as the first group, respective sets of transistors for each particular transistor in the first group.
- the respective sets include the particular transistor from the first group, and transistors from the first through fourth groups for which at least one of the sources and drains of the transistors are coupled with at least one of the sources and drains of other transistors in the respective sets.
- the process includes determining subsets of transistors in the respective sets which consist of transistors in one of said groups which share a gate terminal with a transistor in another said groups.
- the respective subsets are classified as logic units using the techniques outlined above.
- a process and system is provided based on an algorithm for generating a logic level description of a logic block from a transistor level net list or lower layer description (e.g. layout polygon) of the logic block.
- This process enables implementation of a virtual fab concept whereby old logic blocks can be readily ported to new products and new fabrication processes by an automated technology, without requiring large amounts of human engineering.
- products designed for one layer of metal can be ported to multilayer metal designs, or for use with design databases adapted for particular labs, automatically.
- Fig. 1 is a schematic diagram of a system including a logic extraction process of the present invention.
- Fig. 2 is a simplified flow chart of the logic extraction process according to the present invention.
- Fig. 3 is a flow chart of an algorithm for classifying sets of transistors based upon interconnection with a p-channel transistor having a source coupled to a supply terminal.
- Fig. 4 is a flow chart for determining sets of transistors interconnected with a p-channel transistor having a source coupled to a supply terminal, in which the transistor level net list optionally swaps the source and drain terminals of the transistors.
- Fig. 5 is a flow chart of a process for determining sets of transistors interconnected with a n-channel transistor having a source terminal coupled to a ground reference.
- Fig. 6 is a flow chart of a process for determining sets of transistors interconnected with a n-channel transistor having a source coupled to a ground reference, where the transistor level net list optionally swaps the source and drain terminals of transistors in the net list.
- Fig. 7 is a flow chart for identifying latches from the set of inverters identified according to the processes of Figs. 2-6.
- Fig. 8 illustrates the process for identifying pass gates for transistors in the sets of transistors based on first searching based on p-channel transistors.
- Fig. 9 is an alternative algorithm for identifying pass gates based on first searching based on n-channel MOS transistors.
- Fig. 10 illustrates a flow chart for identifying flip-flops based upon the pass gate and latch files generated by the processes of the Figs. 7-9 based on reviewing the outputs of pass gates.
- Fig. 11 illustrates the process for identifying flip-flops based upon reviewing the inputs of latches identified in the previous processes.
- Fig. 12 illustrates the process for identifying input nodes and output nodes of a logic block.
- Fig. 13 illustrates the process for identifying input/output nodes in the logic block.
- FIG. 1 illustrates a system for executing the processes of the present invention
- Figs. 2-13 illustrate processes executed by the system.
- Fig. 1 is a simplified block diagram of a computer system that includes data processing resources for executing the processes of the present invention.
- the computer system includes a central processing unit 10, a display 11, an input device 12 such as a keyboard, non- volatile storage such as a disk storage system 13, working memory 14, and program memory 15. All of these elements are interconnected by a system bus 16 as known in the art.
- the system of Fig. 1 includes data processing resources in hardware and software.
- the program memory stores processes for transistor level extraction from a layout database, such as a process based on the DREAM system referred to above. Also, the program memory stores software for logic gate level extraction from a transistor level net list according to the present invention.
- the working memory stores the layout database for the logic block subject of the analysis. Also, it stores the transistor level net list which is generated by the transistor level extraction process, or supplied from an external source.
- Working memory 14 is used for storing temporary files needed by the programs for performing the extraction.
- Fig. 1 is a simplified diagram meant to represent any one of a variety of computer systems which are commercially available, such as systems based on Intel microprocessors and Microsoft operating systems, systems based on Apple Macintosh architectures, and workstations provided by Sun Microsystems, and a variety of other computer platforms.
- Figs. 2-13 illustrate the processes executed by the computer system of Fig. 1 to perform logic extraction.
- a transistor level net list is generated using the extraction system from a layout database, or otherwise provided to the system.
- the process of logic extraction begins as illustrated in Fig. 2 at point 201 by grouping the transistors into categories PMOS1, PMOS2, NMOS2 and NMOS1 as described below.
- the p-channel search is done (Fig. 3); the remaining transistors are regrouped and n-channel search is done (Fig. 5); the remaining transistors are regrouped, and p-channel search with node swap is done (Fig. 4); and finally the remaining transistors are regrouped again, and n-channel search with node swap is done (Fig. 6).
- the output of these processes is a set of files identifying logic gates including inverters, NAND gates and NOR gates.
- the third pass through the data is executed to identify input and output nodes, and to identify input/output nodes at point 204 of Fig. 2.
- the processes for identifying input nodes, output nodes and input/output nodes are described below with reference to Figs. 12 and 13.
- the logic extraction is completed as indicated at point 205.
- the result of the process is a computer readable logic gate level description of the logic block under analysis. The description is suitable for high level emulation and, simulation and porting to a new layout preferably more compact, in a variety of process technologies.
- the process begins by first processing a transistor level net list which has a list of transistors of for example the following form: INST D G S B TYPE OTHER.
- INST is the instance name
- D is a field storing the drain node name
- G is a field storing the gate node name
- S is a field storing the source node name
- TYPE is a field storing the transistor type, whether n-channel or p-channel for
- MOS transistors OTHER is a field or fields for storing additional information about the transistor available including the channel length and width, and other parameters which may be relevant to timing or the like.
- the transistors are separated into four groups.
- the first group PMOSl consists of p-channel MOS transistors having a source terminal coupled to the N DD supply.
- the second group PMOS2 consists of p-channel transistors having a source terminal that is not connected to the V DD supply.
- Third group ⁇ MOS2 consists of n-channel transistors having a source terminal not connected to a V ss reference voltage.
- the fourth group NMOS1 consists of n-channel transistors having a source terminal connected to the V ss reference.
- the processes of Fig. 3 are executed in one preferred approach, first.
- the process receives the transistor level net list (block 300).
- the transistors in group one PMOSl are analyzed first.
- a set of interconnected transistors is generated and stored in a temporary file.
- the process begins by taking a drain node name as a search token for a particular transistor in PMOSl (block 301).
- the transistors in PMOS2 which have a source node connected to the drain node of the particular transistor are then found (block 302) and moved into the temporary file.
- the search taken is shifted to the drain of the PMOS2 transistor, and repeated along the end of interconnected PMOS2 transistors.
- This process is executed for each transistor in the second group PMOS2 (block 303). This creates a temporary file of all transistors in the PMOS2 which have a source connected to the drain of a particular transistor in the PMOSl and all interconnected PMOS2 transistors.
- step 304 transistors in the third group NMOS2 are found which have a drain node connected to the drain node of the particular transistor in the PMOSl, or of transistors in PMOS2 which are in the temporary file.
- the search taken is shifted to find interconnected NMOS2 transistors. These transistors are moved into the temporary file as they are searched (step 304).
- step 305 it is determined whether all transistors in the NMOS2 have been analyzed. When all the transistors have been analyzed, the process moves to search transistors in the NMOS1 (step 306). If any transistors were found in the search of the third group, then the search token is shifted to the source node of the found transistor.
- transistors in the NMOS1 are found which have a drain node coupled to the drain node of the particular transistor in the PMOSl, a transistor in PMOS2 interconnected with the particular transistor or a drain node coupled to the source of a connected transistor in the NMOS2. These transistors are moved into the temporary file. This process is executed on all transistors in the NMOS 1. The NMOS 1 transistors at this stage are all moved to the temporary file if they are connected to the search token, and the string is finished.
- the process determines whether there are other transistors in the PMOSl (block 307). If there are, then the process loops back to block
- the algorithm proceeds to the identification step (block 308).
- the search process results in sets of transistors stored in respective temporary files, where there is one set of each p-channel transistor in the first group of transistors which have their source terminal connected to the supply voltage. These sets of transistors in the temporary files can then be analyzed to determine whether they correspond to a logic gate. This process is executed by the identification block 308 of Fig. 3.
- the identification process begins by taking the temporary files which contain transistors from the four groups. With any p-channel element in a temporary file, the gate is selected as a search token. According to the identification process, each temporary file is checked which contains elements from the first through fourth groups.
- any p-channel transistor in the temporary file all transistors having gates interconnected with the gate of the selected transistor are found.
- the transistors having interconnected gates are moved into a second temporary file provide a subset of transistors. This process of identifying subsets is executed for every p-channel transistor in the set.
- the subset can be identified as one of an inverter, a NAND gate or a NOR gate.
- the identification process is executed by a table look-up according to the following table: No. in No. in No. in No. in No. in subject from subject from subject from subject from subject from subject from
- step 308 After executing the identification process of step 308, the process checks whether the temporary file passed identification (step 309). If it passed, the subset is assigned a gate name (step 310) and the process is done for this file (step 312). If it did not pass, then the temporary file is discarded (step 311).
- Figs. 4, 5 and 6 illustrate the PMOS search with a node swap option. According to this process, the algorithm begins with the transistor level net list (step 400).
- a transistor in the first group PMOSl is selected upon which to identify a set of interconnected transistors (step 401). Using the selected transistor, its drain node is identified as a search token. All transistors in the second group PMOS2, that is p-channel transistors not having a source connected to the supply voltage are analyzed. All the transistors in the PMOS2 which have a source connected to the drain of the particular transistor selected at step 401 are placed in a temporary file. Next, all the transistors in the second group, which have a source connected to the drain of the particular transistor selected at step 401 are placed in the temporary file. This step catches transistors where the source node and drain node have been swapped in the transistor level net list. This process with node swap option is executed for each transistor in the second group (step 402). Next it is determined whether all transistors in the second group have been searched using the node swap option
- step 403 If not the process loops until all transistors in the second group are searched. After all transistors in the second group are searched, the process proceeds to step 404 where transistors in the third group NMOS2, that is n- channel transistors which do not have a source connected to the reference supply terminal, are searched with a node swap option.
- transistors in the third group NMOS2 that is n-channel transistors which do not have a source connected to the reference supply terminal, are searched with a node swap option.
- a process determines whether all transistors in the NMOS2 have been searched (step 405). If not the process loops until all transistors have been searched in the third group. When all transistors in the third group have been searched, transistors in the fourth group NMOS1 are analyzed (step 406). This process finds all n-channel transistors in NMOS1 which have a drain node coupled to the search token, which is the source or drain of a transistor in the third group, a transistor in the second group, or a transistor in the first group from the interconnected set, which has been stored in the temporary file. This process is executed until all transistors in NMOS1 have been processed.
- the process determines whether all transistors in PMOS 1 have been analyzed (step 407). If not the process loops back to step 401 to select another transistor in the first group of transistors. When all transistors in the first group of transistors have been processed at step 407, the process proceeds to the identification step (step 408). Next it is determined whether the identification has been successful (step 409). If it is successful, then a gate name is applied to the set of transistors identified (step 410). If it is not successful at step 409, then the temporary file for the set of transistors is discarded (step 411). After steps 411 and 410, a computer readable list of logic gates which have been identified by the process are provided (step 412).
- Additional gates can be identified by beginning a search with the fourth group of transistors NMOS1, that is n-channel transistors having their source connected to the ground reference terminal. This process is like that of Fig. 3, except beginning with the fourth group NMOS1 and working to the first group PMOSl.
- the transistor level net list is received.
- a particular transistor in NMOS1 is selected (step 501).
- all transistors in NMOS2 which have a source terminal connected to the drain of the particular transistor are identified and stored in a temporary file (steps 502 and 503).
- step 504 and 505 For each transistor in the NMOS2 connected to a particular transistor in NMOS1, all transistors in the PMOS2, are identified which have a drain terminal connected to the drain of such transistors or interconnecting transistors in PMOS2 (steps 504 and 505).
- transistors in the PMOSl are identified which have a drain terminal connected to the source of transistors in PMOS2 which had been found in the previous steps, or the drains of interconnected transistors in NMOS2 or NMOS 1. This process continues until all transistors in the PMOSl have been processed (step 506).
- it is determined whether there are additional transistors in NMOSl for analysis step 507). If not the process is not complete, then it returns to step 501.
- Fig. 6 illustrates the search starting with n-channel transistors in NMOSl with the node swap option. The process proceeds just as the process of Fig. 4, except beginning with group 4 rather than group 1. It is given similar reference numbers in the 600 series, and not redescribed here.
- Fig. 7 identifies latches.
- Latches consist of inverters which are coupled in a feedback relationship.
- Search token is set as the input of a first inverter the process determines whether there are other inverters in the file which have outputs connected to the input of the first inverter, and which have inputs connected to the output of the first inverter.
- the process sets a search token at step 701 equal to the input of a first inverter in the inverter file.
- the remaining inverters in the inverter file are searched one at a time (step 702). If the output of the first inverter is equal to the input of the second inverter and the input of the first inverter is equal to the output of the second inverter, then the pair of inverters is stored in a latch file (step 704). If they do not match, then the process search loops to block 702 to look for other inverters which match the selected inverter. After step 704, the process determines whether all the inverters in the file have been analyzed. If not, the process loops back to step
- step 705 If the last inverter has been analyzed at step 705, then the process is complete and a computer readable list of latches is generated and the file is closed.
- Fig. 8 illustrates the process for identifying pass gates in the logic block. This process begins with all transistors in the group of p-channel transistors which do not have a source terminal connected to the supply voltage. This consists of the second group PMOS2 of transistors.
- the input at block 800 is the transistor level net list.
- the search token is set for a first transistor in PMOS2 (step 801). For each transistor in PMOS2, search tokens are set for its source and drain (step 802).
- the transistor level net list is searched to find
- NMOS transistors which have a source connected to the source of the selected p-channel transistor and a drain connected to the drain of the selected p-channel transistor, or alternatively having a drain connected to the source of the p- channel transistor or having a source connected to the drain of the p-channel transistor. If such pair is not identified for the selected transistor, at step 803, then the process loops back to select another transistor in the PMOS2 at step 802. If a NMOS transistor is found which matches the selected p-channel, then that pair of transistors is moved to the pass gate file (step 804). Next, the process determines whether all p-channel transistors have been served as the basis of the search of step 802 (step 805) if not, the process loops back to step
- step 801 select another PMOS2 transistor for analysis. If the last PMOS2 transistor has been selected, then the process is finished (step 806).
- Fig. 9 illustrates the algorithm for identifying pass gates by searching n- channel transistors rather than p-channels.
- the process is identical to the p- channel process except that it keys on n-channel transistors which do not have a source terminal connected to the reference supply, NMOS2.
- the algorithm of Fig. 9 is given similar reference numbers to those of Fig. 8 and not redescribed here.
- Fig. 10 illustrates a process of identifying D-type flip-flops based on the latch file and the pass gate file generated as described above.
- Fig. 10 illustrates a process when searching from the pass gate file and
- Fig. 11 illustrates the process when searching from the latch file.
- the process begins at step 1000.
- a search token is set for a particular pass gate in the pass gate files step 1001.
- the latch file is searched one latch at a time (step 1002).
- step 1004 For each latch, it is determined whether the output of the pass gate is equal to the input of the latch or if the output of the pass gate is equal to the output of the latch, or in the alternative the input of the pass gate equals the input of the latch or the input of the pass gate equals the output of the latch. If either test is met, then the latch and pass gate are moved to the flip-flop file (step 1004). If at step 1003, there is no match, then the process loops back to step 1002 to select other latches in the latch file until all latches are completed. After step 1004, it is determined whether the last pass gate in the pass gate file has been processed (step 1005). If not the algorithm loops back to step 1001 and selects another pass gate from the file. If the pass gate file has been completely traversed, then the process is completed (step 1006).
- Fig. 11 illustrates the process for identifying D-type flip-flops when beginning from the latch file.
- the process of Fig. 11 begins at step 1100.
- step 1101 particular latch is selected from the latch file.
- the pass gate file is searched one unit at a time (step 1102). For each pass gate in the pass gate file it is determined whether the input of the latch equals the output of the pass gate or the input of the latch equals the input of the pass gate, or alternatively whether the output of the latch equals the output of the pass gate or the output of the latch equals the input of the pass gate (step 1103). If a match is found, then the latch pass gate pair is moved to the flip-flop file (step 1104).
- step 1104 it is determined whether the last latch in the latch file has been processed (step 1105). If it has been processed then the algorithm is completed (step 1106). If it has not been processed, then the algorithm returns to step 1101 to analyze other latches from the latch file.
- Fig. 12 illustrates the process for identifying input and output nodes in the logic block. It serves to create a preliminary input node file, and a preliminary output node file and a preliminary bidirection file.
- the input node file consists of all the input nodes from the identified logic units including inverters, NAND gates and NOR gates.
- the output node file consists of all of the outputs for the inverters, NAND gates and NOR gates.
- the bidirection file consists of all the dangling transistors in the PMOS2 or NMOS2 groups, and all pass gates (step 1201).
- a node from the output node file is selected as a search token (step 1202).
- step 1203 it is determined whether any node in the input node file matches the selected output node (step 1203). If there is no match of input and output nodes, then it is determined whether any node in the bidirection file matches the selected output node (step 1204). If a match is found in the bidirection file, then the corresponding node in the bidirection file is set as the token (step 1205) and the process loops to step 1203 to determine whether there is any node in the input file which matches the node from the bidirection file. If at step 1203 it is determined that there is a match on the input node with the search token, which either comprises the selected output node, or a node in the bidirection file, then the input node and the output node are marked
- step 1206 After marking the input and output nodes, the process loops to step 1207 where it determines whether the last node in the output node file has been analyzed. Also, if at step 1204, there is no match with the bidirection file, the process loops to step 1207. If there are other nodes to analyze, the process loops back to step 1202. If there are no other nodes to analyze, then the nodes that have not been marked in the input node file and the nodes that have not been marked in the output node file are printed or otherwise written to a computer readable file (step 1208). The process is then finished (step 1209).
- Fig. 13 illustrates the process of identifying input/output nodes in the logic block.
- the process begins at step 1300.
- a node from the pass gate file is selected as a search token (step 1301).
- it is determined whether there are any nodes in the input node file which match (step 1302). If any nodes in the input node file match, then the node is marked as a potential input/output node (step 1303). If there are no input nodes which match, or after step 1303, then the process determines whether there are other pass gates in the pass gate file to analyze (step 1304). If the last node in the pass gate file has not been analyzed, the process loops back to step 1301.
- step 1305 If the last gate in the pass gate file has been analyzed, then the process loops to step 1305 to print a list of potential I/O nodes, e.g. those nodes that have been marked in the input/output node file. The process is finished at step 1306.
- the present invention provides a system and a process for extracting logic from a layout database.
- a logic level diagram which is close to complete or complete for a logic block
- the process of porting the logic block to a new process technology or new product environment is greatly facilitated.
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)
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
Description
Claims
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/US1997/018844 WO1999019818A1 (en) | 1997-10-14 | 1997-10-14 | System for logic extraction from a layout database |
Publications (2)
Publication Number | Publication Date |
---|---|
EP1023681A1 true EP1023681A1 (en) | 2000-08-02 |
EP1023681A4 EP1023681A4 (en) | 2000-10-25 |
Family
ID=22261896
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
EP97912778A Withdrawn EP1023681A4 (en) | 1997-10-14 | 1997-10-14 | System for logic extraction from a layout database |
Country Status (3)
Country | Link |
---|---|
EP (1) | EP1023681A4 (en) |
JP (1) | JP2001520420A (en) |
WO (1) | WO1999019818A1 (en) |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5629858A (en) * | 1994-10-31 | 1997-05-13 | International Business Machines Corporation | CMOS transistor network to gate level model extractor for simulation, verification and test generation |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5416717A (en) * | 1989-09-06 | 1995-05-16 | Hitachi, Ltd. | Circuit simulation method for a circuit realized by an LSI layout pattern based upon a circuit of a logic gate level realized by the layout pattern |
-
1997
- 1997-10-14 WO PCT/US1997/018844 patent/WO1999019818A1/en active Application Filing
- 1997-10-14 EP EP97912778A patent/EP1023681A4/en not_active Withdrawn
- 1997-10-14 JP JP2000516301A patent/JP2001520420A/en active Pending
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5629858A (en) * | 1994-10-31 | 1997-05-13 | International Business Machines Corporation | CMOS transistor network to gate level model extractor for simulation, verification and test generation |
Non-Patent Citations (3)
Title |
---|
CHEN J -E ET AL: "My-box representation for faulty CMOS circuits" IEE PROCEEDINGS G (CIRCUITS, DEVICES AND SYSTEMS), JUNE 1990, UK, vol. 137, no. 3, pages 225-232, XP002145774 ISSN: 0956-3768 * |
MEYER W ET AL: "Fast, accurate, integrated gate and switch-level fault simulation" PROCEEDINGS OF ETC 93. THIRD EUROPEAN TEST CONFERENCE (CAT. NO.93TH0494-5), ROTTERDAM, NETHERLANDS, 19-22 APRIL 1993, pages 194-199, XP002145775 1993, Los Alamitos, CA, USA, IEEE Comput. Soc. Press, USA ISBN: 0-8186-3360-3 * |
See also references of WO9919818A1 * |
Also Published As
Publication number | Publication date |
---|---|
EP1023681A4 (en) | 2000-10-25 |
WO1999019818A1 (en) | 1999-04-22 |
JP2001520420A (en) | 2001-10-30 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Ohlrich et al. | Subgemini: Identifying subcircuits using a fast subgraph isomorphism algorithm | |
US6473885B1 (en) | Digital circuit layout techniques using circuit decomposition and pin swapping | |
US6360352B2 (en) | Digital circuit layout techniques | |
US6594808B1 (en) | Structural regularity extraction and floorplanning in datapath circuits using vectors | |
US5210699A (en) | Process for extracting logic from transistor and resistor data representations of circuits | |
JP2004102772A (en) | Design verification device | |
US5563800A (en) | Automated logic circuit design system | |
US6167556A (en) | System for logic extraction from a layout database | |
US7000206B2 (en) | Timing path detailer | |
US6190433B1 (en) | Method of recovering a gate-level netlist from a transistor-level | |
US20020038446A1 (en) | Gate extractor | |
Zanden et al. | MILO: a microarchitecture and logic optimizer | |
US6651239B1 (en) | Direct transformation of engineering change orders to synthesized IC chip designs | |
JP3272915B2 (en) | Static timing analyzer | |
Brunner et al. | Toward a human-readable state machine extraction | |
US7216321B2 (en) | Pattern recognition in an integrated circuit design | |
WO1999019818A1 (en) | System for logic extraction from a layout database | |
Cheremisinov et al. | Extracting a logic gate network from a transistor-level CMOS circuit | |
Cheremisinov et al. | Subcircuit pattern recognition in transistor level circuits | |
US6018621A (en) | Identifying an optimizable logic region in a logic network | |
Dagenais et al. | Transistor-level estimation of worst-case delays in MOS VLSI circuits | |
Jacobs | Self-timed integrated circuits for digital signal processing | |
US6550040B1 (en) | Method and system for identifying dynamic NAND or NOR gates from a netlist | |
Cheremisinova et al. | Graph-Based Recognition of High-Level Structures in Transistor Circuits | |
JP2003203097A (en) | Method of discriminating fet for realizing predetermined logical formula |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PUAI | Public reference made under article 153(3) epc to a published international application that has entered the european phase |
Free format text: ORIGINAL CODE: 0009012 |
|
17P | Request for examination filed |
Effective date: 20000403 |
|
AK | Designated contracting states |
Kind code of ref document: A1 Designated state(s): DE FR GB IT |
|
A4 | Supplementary search report drawn up and despatched |
Effective date: 20000912 |
|
AK | Designated contracting states |
Kind code of ref document: A4 Designated state(s): DE FR GB IT |
|
RAP1 | Party data changed (applicant data changed or rights of an application transferred) |
Owner name: MACRONIX INTERNATIONAL CO., LTD. |
|
17Q | First examination report despatched |
Effective date: 20031017 |
|
APBK | Appeal reference recorded |
Free format text: ORIGINAL CODE: EPIDOSNREFNE |
|
APBN | Date of receipt of notice of appeal recorded |
Free format text: ORIGINAL CODE: EPIDOSNNOA2E |
|
APBR | Date of receipt of statement of grounds of appeal recorded |
Free format text: ORIGINAL CODE: EPIDOSNNOA3E |
|
APAF | Appeal reference modified |
Free format text: ORIGINAL CODE: EPIDOSCREFNE |
|
APAF | Appeal reference modified |
Free format text: ORIGINAL CODE: EPIDOSCREFNE |
|
APBT | Appeal procedure closed |
Free format text: ORIGINAL CODE: EPIDOSNNOA9E |
|
STAA | Information on the status of an ep patent application or granted ep patent |
Free format text: STATUS: THE APPLICATION IS DEEMED TO BE WITHDRAWN |
|
18D | Application deemed to be withdrawn |
Effective date: 20160503 |
|
REG | Reference to a national code |
Ref country code: HK Ref legal event code: WD Ref document number: 1030067 Country of ref document: HK |