Claims Analysis
Total Claims: 24
Claim 1
Independent Claim
116 words
A method for designing an electronic device using a digital computer wherein a logical hierarchy comprising logical entities interconnected by signals is mapped into a physical hierarchy comprising physical packages, comprising the steps of: designating partition group assertions for each of said logical entities, each of said partition group assertions corresponding to one of said physical packages; tracing the signals for each of said logical entities using said computer; and classifying each of said signals as either external or internal responsive to said tracing, said external classification corresponding to a signal connecting logical entities located on different physical packages and said internal classification corresponding to a signal connecting logical entities located on the same physical package.
Claim 2
Independent Claim
116 words
A method for designing an electronic device using a digital computer wherein a logical hierarchy comprising logical entities interconnected by signals is mapped into a physical hierarchy comprising physical packages, comprising the steps of: designating partition group assertions for each of said logical entities, each of said partition group assertions corresponding to one of said physical packages; tracing the signals for each of said logical entities using said computer; and classifying each of said signals as either external or internal responsive to said tracing, said external classification corresponding to a signal connecting logical entities located on different physical packages and said internal classification corresponding to a signal connecting logical entities located on the same physical package.
Claim 3
Dependent Claim
31 words
The method according to claim 1 further comprising the step of providing a first representation of the physical interconnections of said physical packages, said physical interconnections corresponding to said external signals.
Claim 4
Dependent Claim
33 words
The method according to claim 2 further comprising the step of providing a second representation for each of said physical packages of the logical entities and interconnecting external and internal signals located thereon.
Claim 5
Dependent Claim
23 words
The method according to claim 2 further comprising the step of flattening said logical hierarchy into a logical representation consisting of primitive entities.
Claim 6
Dependent Claim
30 words
The method according to claim 4 further comprising the step of storing a list for each of said physical packages indicating which of said primitive entities are physically located thereon.
Claim 7
Dependent Claim
28 words
The method according to claim 1 wherein said step of designating partition group assertions comprises designating at least one of said assertions by representation through a parent entity.
Claim 8
Dependent Claim
53 words
The method according to claim 1 further comprising the steps of: providing a physical constraints file corresponding to at least one of said physical packages; determining a physical attribute for at least one of said physical packages and corresponding to said physical hierarchy; and comparing said physical attribute to said physical constraints file.
Claim 9
Independent Claim
239 words
A method for designing an electronic device using a digital computer having a memory wherein a logical hierarchy comprising parent and primitive logical entities interconnected by signals and stored in said memory, said logical hierarchy representing logical functions corresponding to said electronic device, is mapped into a physical hierarchy comprising physical packages and stored in said memory, comprising the steps of: designating partition group assertions for each of said primitive entities, each of said partition group assertions corresponding to one of said physical packages; flattening said logical hierarchy into a logical representation consisting of primitive entities; storing a list in said memory for each of said physical packages indicating which of said primitive entities are physically located thereon; tracing the signals for each of said primitive entities with said computer using said list for each of said physical packages; classifying each of said signals as either external or internal responsive to said tracing, said external classification corresponding to a signal connecting primitive entities located on different physical packages and said internal classification corresponding to a signal connecting primitive entities located on the same physical package; and generating said physical hierarchy of said physical packages, said physical hierarchy providing a first representation of the physical interconnections of said physical packages, said physical interconnections corresponding to said external signals, and a second representation for each of said physical packages indicating the primitive entities and interconnecting external and internal signals located thereon.
Claim 10
Independent Claim
239 words
A method for designing an electronic device using a digital computer having a memory wherein a logical hierarchy comprising parent and primitive logical entities interconnected by signals and stored in said memory, said logical hierarchy representing logical functions corresponding to said electronic device, is mapped into a physical hierarchy comprising physical packages and stored in said memory, comprising the steps of: designating partition group assertions for each of said primitive entities, each of said partition group assertions corresponding to one of said physical packages; flattening said logical hierarchy into a logical representation consisting of primitive entities; storing a list in said memory for each of said physical packages indicating which of said primitive entities are physically located thereon; tracing the signals for each of said primitive entities with said computer using said list for each of said physical packages; classifying each of said signals as either external or internal responsive to said tracing, said external classification corresponding to a signal connecting primitive entities located on different physical packages and said internal classification corresponding to a signal connecting primitive entities located on the same physical package; and generating said physical hierarchy of said physical packages, said physical hierarchy providing a first representation of the physical interconnections of said physical packages, said physical interconnections corresponding to said external signals, and a second representation for each of said physical packages indicating the primitive entities and interconnecting external and internal signals located thereon.
Claim 11
Dependent Claim
53 words
The method according to claim 8 further comprising the steps of: providing a physical constraints file corresponding to at least one of said physical packages; determining a physical attribute for at least one of said physical packages and corresponding to said physical hierarchy; and comparing said physical attribute to said physical constraints file.
Claim 12
Dependent Claim
24 words
The method according to claim 9 wherein said step of determining a physical attribute comprises determining a physical attribute corresponding to said first representation.
Claim 13
Dependent Claim
24 words
The method according to claim 9 wherein said step of determining a physical attribute comprises determining a physical attribute corresponding to said second representation.
Claim 14
Dependent Claim
30 words
The method according to claim 9 further comprising the step of generating a compliance report for at least one of said physical packages in response to said step of comparing.
Claim 15
Dependent Claim
24 words
The method according to claim 8 wherein said step of designating partition group assertions comprises designating partition group assertions using an interactive graphics terminal.
Claim 16
Dependent Claim
35 words
The method according to claim 8 wherein said step of designating partition group assertions comprises designating a partition group assertion for at least one of said primitive entities by representation through a parent entity thereof.
Claim 17
Dependent Claim
14 words
The method according to claim 8 wherein said first representation comprises a graphical representation.
Claim 18
Dependent Claim
14 words
The method according to claim 8 wherein said second representation comprises a graphical representation.
Claim 19
Dependent Claim
136 words
A digital computer for designing an electrical device, said computer having a central processing unit, a memory, and an input/output system, comprising: first storage means for storing a logical hierarchy comprising logical entities interconnected by signals; second storage means for storing a physical hierarchy comprising physical packages and physical interconnections therebetween; means for designating partition group assertions for each of said logical entities, each of said partition group assertions corresponding to one of said physical packages; means for tracing the signals for each of said logical entities; and means for classifying each of said signals as either external or internal responsive to said tracing, said external classification corresponding to a signal connecting logical entities located on different physical packages and said internal classification corresponding to a signal connecting logical entities located on the same physical package.
Claim 20
Dependent Claim
136 words
A digital computer for designing an electrical device, said computer having a central processing unit, a memory, and an input/output system, comprising: first storage means for storing a logical hierarchy comprising logical entities interconnected by signals; second storage means for storing a physical hierarchy comprising physical packages and physical interconnections therebetween; means for designating partition group assertions for each of said logical entities, each of said partition group assertions corresponding to one of said physical packages; means for tracing the signals for each of said logical entities; and means for classifying each of said signals as either external or internal responsive to said tracing, said external classification corresponding to a signal connecting logical entities located on different physical packages and said internal classification corresponding to a signal connecting logical entities located on the same physical package.
Claim 21
Dependent Claim
51 words
The computer of claim 17 further comprising means for providing a first representation of the physical interconnections of said physical packages, said physical interconnections corresponding to said external signals, and a second representation for each of said physical packages indicating the primitive entities and interconnecting external and internal signals located thereon.
Claim 22
Dependent Claim
21 words
The computer of claim 18 further comprising means for flattening said logical hierarchy into a logical representation consisting of primitive entities.
Claim 23
Dependent Claim
29 words
The computer of claim 18 wherein said means for designating partition group assertions comprises means for designating at least one of said assertions by representation through a parent entity.
Claim 24
Dependent Claim
57 words
The computer of claim 17 further comprising: third storage means for storing a physical constraints file corresponding to at least one of said physical packages; means for determining a physical attribute for at least one of said physical packages and corresponding to said physical hierarchy; and means for comparing said physical attribute to said physical constraints file.